Current students

Benoit Montagu

Since September 2007
A first-class module system

Former students

Boris Yakobowski

Graduated in December 2008
Types et contraintes graphiques - polymorphisme de second ordre et inférence

Daniel Bonniot

Graduated in November 2005
Modular Typechecking of Multi-Methods.

Alexandre Frey

Graduated in June 2004
An algebraic approach to typechecking an ML-like language with objects, subtyping, and multi-methods.

Didier Le Botlan

Graduated in May 2004
ML^F: An extension of ML with second-order polymorphism and explicit instantiation.

Jérôme Vouillon

Graduated in September 2000
Design and implementation of an extension of ML with objets.

François Pottier

Graduated in June 1998
Type inference with subtyping constraints.