[r2004-11-17 08:40:31 by afrisch] Empty log message

Original author: afrisch
Date: 2004-11-17 08:40:32+00:00

tests/mc.cd

+let f( *--101 -> 91; 
+      102 -> 92; 103 -> 93; 104 -> 94; 105 -> 95;
+      106 -> 96; 107 -> 97; 108 -> 98; 109 -> 99;
+      110 -> 100; 111 -> 101; 102--* -> 92--* )
+ 101--* & x -> x - 10 | x -> f(f(x+11));;

web/soutenance.xml

+<?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>
+
+</box>
+
+<box title="Infos pratique" link="infos">
+
+<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>
+
+</box>
+
+<box title="Mémoire" link="man">
+
+<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>
+Une <a
+href="http://www.eleves.ens.fr/home/frisch/frisch_thesis2.pdf">version
+préliminaire du manuscrit</a> peut être téléchargée.
+</p>
+
+</box>
+
+</page>