Commit 16b3a234 authored by Pietro Abate's avatar Pietro Abate

[r2004-12-15 12:23:39 by afrisch] Empty log message

Original author: afrisch
Date: 2004-12-15 12:23:39+00:00
parent f22fe88f
......@@ -18,7 +18,6 @@
<include file="download.xml"/>
<include file="bench.xml"/>
<include file="papers.xml"/>
<include file="soutenance.xml"/>
<include file="stages.xml"/>
<include file="documentation.xml"/>
<include file="examples.xml"/>
......@@ -393,9 +392,10 @@ title="Xhaskell"> The XHaskell language. </link>
</p>
</meta>
<page name="img" new="">
<title>Pictures and Logos</title>
<include file="soutenance.xml"/>
<left>
<boxes-toc/>
......@@ -438,6 +438,12 @@ Beppe cannot stay still for a photo.
</p>
</section>
<section title="Alain's Ph.D defense (13th December 2004)">
<p>
<local href="soutenance"/>
</p>
</section>
</box>
<box title="Logos" link="logos">
......
......@@ -62,7 +62,12 @@ type InlineText =
| <code>String
| <local href=String>String
| <footnote>[InlineText*]
| H:Xa | H:Ximg | H:Xbr
| H:Xa | H:Ximg | H:Xbr
| <thumbnail href=String width=?IntStr height=?IntStr>[]
| <thumbnails href=String width=?IntStr height=?IntStr>[ PCDATA ]
type IntStr = ['0'--'9'+]
(** Generic purpose functions **)
......@@ -97,6 +102,14 @@ let split_comma (String -> [String*])
| [ x::(Char*?) ',' ; rest ] -> (x, split_comma rest)
| s -> [ s ]
type wschar = ' ' | '\n' | '\t' | '\r'
let split_thumbnails (String -> [(String,String)*])
| [ wschar* x::(Char\wschar\':')+ ':' y::_*? '.'; rest ] ->
((x,y), split_thumbnails rest)
| [ wschar* x::(Char\wschar)+; rest ] ->
((x,""), split_thumbnails rest)
| [ wschar* ] -> []
(** Internal types **)
......@@ -237,6 +250,21 @@ type PageO = Page | []
(* Main transformation function *)
(* returns the last page of the descendance *)
let thumbnail(w : String, h : String)
(url : String)(title : String) : H:Inlines =
[ <a href=url>[
<img src=url width=w height=h alt="Click to enlarge" title=title>[] ] ]
let thumbwh({ width =? IntStr; height =? IntStr} ->
(String -> String ->H:Inlines))
| { width = w; height = h } ->
let w = int_of w in let h = int_of h in
(match h with
| 0 -> raise "Thumbnail height = 0"
| h -> let w = string_of ((w * 200) div h) in thumbnail (w,"200"))
| _ -> thumbnail ("266","200")
let gen_page (site : String,
prev : PageO, page : Page, next : PageO,
path : Path, sitemap : Tree) : PageO =
......@@ -268,6 +296,16 @@ match page with
footnotes := fn @ [ c ] @ !footnotes;
[ <a name=[ 'bnote' !n ]>[]
<a href=[ '#note' !n ]>[ '[' !n ']' ] ]
| <thumbnail ({href=url} & r)>[] ->
thumbwh r url ""
| <thumbnails ({href=url} & r)>l ->
let l = split_thumbnails l in
let f = thumbwh r in
let c = ref Int 0 in
(transform l with (x,y) ->
let t = f (url @ x) y in
if (!c = 4) then (c := 1; [ <br>[] ] @ t)
else (c := !c + 1; t))
| z -> [ z ]
in
......
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="soutenance">
<title>Soutenance de thèse d'Alain Frisch</title>
<box title="Annonce" link="ann">
<p>Alain Frisch soutiendra sa thèse de doctorat le lundi 13 décembre
2004 à 12h45, dans la salle de conférence du 46 rue d'Ulm (Paris 5e).
La thèse s'intitule « Théorie, conception et réalisation d'un langage
de programmation fonctionnel adapté à XML ». Le jury est composé
de Pierre-Louis Curien (président), Giuseppe Castagna (directeur de
thèse), Giorgio Ghelli, Martin Odersky (rapporteurs), Mariangiola
Dezani, Xavier Leroy (examinateurs). La soutenance sera
suivie d'un pot amical.
</p>
<title>Alain Frisch Ph.D defense</title>
</box>
<box title="Infos pratique" link="infos">
<box title="Introduction" link="intro">
<p>
Date: lundi 13 décembre 2004.
<br/>Heure: 12h45.
<br/>Lieu: <b>46</b> rue d'Ulm, 75005 Paris. Salle de conférence.
<br/>Transports: RER B (Luxembourg), bus 21,27 (Feuillantines),
métro 10 (Cardinal Lemoine).
</p>
<p>Alain Frisch defended his Ph.D on the 13th December 2004,
in Paris (École Normale Supérieure). The title of the thesis
is « Théorie, conception et réalisation d'un langage
de programmation fonctionnel adapté à XML ».</p>
</box>
<p><b>Jury composition:</b>
Pierre-Louis Curien (president), Giuseppe Castagna (Ph.D advisor),
Giorgio Ghelli, Martin Odersky (reviewers), Mariangiola
Dezani, Xavier Leroy.
</p>
<box title="Mémoire" link="man">
<p><b>Abstract:</b>
This thesis describes the theoretical foundations of a type-safe
and higher-order functional language, adapted to the manipulation of
XML documents. The first part presents the semantical bases: type
algebra with recursive types, boolean combination, arrow and
product constructors; definition of a semantic subtyping relation
via a set-theoretic notion of model for types; description of the
functional kernel of the language, in particular its type
system and its type-driven dynamic semantics. The second part
focuses on the algorithmical aspects: computing the subtyping relation
and compiling pattern matching with optimizations. The third part
presents the \cduce{} language, built on top of the functional kernel,
together with some of the original techniques used in its
implementation.
</p>
<p><b>Résumé:</b>
Cette thèse décrit les fondements théoriques d'un langage de
......@@ -48,14 +50,30 @@ originales mises en oeuvre dans son impl
</p>
<p>
Une <a
You can download the <a
href="http://www.eleves.ens.fr/home/frisch/frisch_thesis2.pdf">version
préliminaire du manuscrit</a> peut être téléchargée. <b>Attention, il
s'agit d'une version préliminaire !</b> Les commentaires et critiques
sont <a href="mailto:Alain.Frisch@inria.fr">bienvenus</a>; la version
définitive sera mise en ligne après la soutenance.
of the manuscript</a> (in French) given to the jury. The
final version will be put online when available.
</p>
</box>
<box title="Pictures" link="pic">
<p>
Some pictures taken by Laurent (Alain's brother):
</p>
<thumbnails width="1112" height="834" href="img/alain_phd/">
IMG_0668.jpg:Alain and Véronique.
IMG_0673.jpg IMG_0677.jpg IMG_0688.jpg
IMG_0669.jpg IMG_0674.jpg IMG_0678.jpg IMG_0689.jpg
IMG_0671.jpg IMG_0675.jpg IMG_0679.jpg
IMG_0672.jpg IMG_0676.jpg IMG_0681.jpg IMG_0687.jpg
</thumbnails>
<thumbnail width="625" height="833" href="img/alain_phd/IMG_0685.jpg"/>
<!-- IMG_0682.jpg IMG_0686.jpg -->
</box>
</page>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment