soutenance.xml 3.3 KB
Newer Older
1 2 3
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<page name="soutenance">

4
<title>Alain Frisch's Ph.D defense</title>
5 6


7
<box title="Introduction" link="intro">
8

9 10 11 12
<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>
13

14 15 16 17 18
<p><b>Jury composition:</b>
Pierre-Louis Curien (president), Giuseppe Castagna (Ph.D advisor),
Giorgio Ghelli, Martin Odersky (reviewers), Mariangiola
Dezani, Xavier Leroy.
</p>
19

20 21 22 23 24 25 26 27 28 29 30
<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
31
presents the CDuce language, built on top of the functional kernel,
32 33 34
together with some of the original techniques used in its
implementation.
</p>
35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52

<p><b>Résumé:</b>
Cette thèse décrit les fondements théoriques d'un langage de
programmation fonctionnel d'ordre supérieur, typé, adapté à la
manipulation de documents XML. La première partie présente les bases
sémantiques: algèbre de types avec types récursifs, combinaisons
boolénnes et constructeurs flèche et produit; définition d'une
relation de sous-typage sémantique en passant par une notion de modèle
ensembliste des types; présentation du noyau fonctionnel du langage,
en particulier son système de types et sa sémantique dynamique dirigée
par les types. La deuxième partie étudie les aspects algorithmiques:
calcul de la relation de sous-typage et compilation optimisée du filtrage
par motifs. La troisième partie présente le langage CDuce, construit
au dessus du noyau fonctionnel, ainsi que certaines des techniques
originales mises en oeuvre dans son implémentation.
</p>

<p>
53 54 55
You can download the <a href="papers/frisch_phd.pdf">
manuscript</a> (in French, 1.3 Mb), and the <a
href="slides/frisch_phd_slides.pdf">slides</a> of the presentation.
56 57
</p>

58 59
<p>See also: <local href="soutenance-miachon"/>.</p>

60 61 62 63 64 65 66
</box>


<box title="Pictures" link="pic">

<p>
Some pictures taken by Laurent (Alain's brother):
67 68
</p>

69
<thumbnails width="1112" height="834" href="img/alain_phd/">
70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86
IMG_0668.jpg
IMG_0673.jpg    
IMG_0677.jpg:Abbey.
IMG_0688.jpg:Alain, Véronique Benzaken.
IMG_0669.jpg    IMG_0674.jpg    
IMG_0678.jpg:Annie.
IMG_0689.jpg:Annie, Yves.
IMG_0671.jpg    IMG_0675.jpg    
IMG_0679.jpg:Giorgio Ghelli, Martin Odersky, Giuseppe Castagna.
IMG_0672.jpg    IMG_0676.jpg    
IMG_0681.jpg:Abbey, Annie, Yves.
IMG_0687.jpg
imm018_19A.jpg:Alain,  Véronique Benzaken.
imm019_20A.jpg:Martin Odersky, Giorgio Ghelli, Pierre-Louis Curien.
imm020_21A.jpg:Abbey, Xavier Leroy, Serge Leblanc.
imm021_22A.jpg:Laurent, Abbey, Annie.
imm022_23A.jpg
87 88 89
</thumbnails>
<thumbnail width="625" height="833" href="img/alain_phd/IMG_0685.jpg"/>
<!-- IMG_0682.jpg IMG_0686.jpg -->
90 91 92
</box>

</page>