InterestsType systems and type inference, object-oriented languages, concurrent and distributed languages, semantics of programming languages Foundations and design of the OCaml language (at INRIA).
See my publications, talks, and projects [ abbreviations | disornamentation | ornaments | Unique inhabitants | GADTs | coercions | modules | MLF ].
AwardSep 2013: I am deeply honored to receive the ACM SIGPLAN Most Influential ICFP Paper Award jointly with Didier Le Botlan for our ICFP 2003 paper MLF:Raising ML to the power of System F.
- Latex packages: locallabel, mathpartir, excercise, proof, copytofile. ifjobname. boolean. reversion.
- BibTeX: non invasive printing of URLs in references.
- WhizzyTeX --- Version 1.3.2 of Aug 2, 2011 (works with pgf and beamer)
--- Version 1.10.2 of Sep 27, 2011