Current students

Clément Blaudeau
Since October 2021
Formalizing and improving OCaml modules.
Thomas Refis
Since February 2021
Modular Implicits: Design, Formalization, and Implementation.

Former students

Ambre Williams
Graduated in December 2020
Refactoring functional programs with ornaments
Carine Morel
Stage de M2, April-July 2019
Inférence de types et élaboration modulaire avec contraintes pour le langage ML étendu avec des abréviations de types
Lucas Baudin
Stage de M2, April-July 2018
Disornamentation (abstract and slides presented at the ML 2018 workshop)
Gabriel Scherer
Graduated in March 2016
Which types have a unique inhabitant? Focusing on pure program equivalence
Julien Cretin
Graduated in January 2014
Erasable coercions: a unified approach to type systems (see also this)
Benoit Montagu
Graduated in December 2010
Programmer avec des modules de première classe dans un langage noyau pourvu de sous-typage, sortes singletons et types existentiels ouverts
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
MLF: 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.