Alain Frisch's Ph.D defense

Introduction

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 ».

Jury composition: Pierre-Louis Curien (president), Giuseppe Castagna (Ph.D advisor), Giorgio Ghelli, Martin Odersky (reviewers), Mariangiola Dezani, Xavier Leroy.

Abstract: 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.

Résumé: 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.

You can download the manuscript (in French, 1.3 Mb), and the slides of the presentation.

See also: Cédric Miachon Ph.D defense.

Pictures

Some pictures taken by Laurent (Alain's brother):