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 [ transparent existentials | abbreviations | disornamentation | ornaments | unique inhabitants | GADTs | coercions | open existentials | 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.4.0 of Jul 21, 2021 (works with new version of latex.cls)
--- Version 2.0.0, 2021
(installable from opam)
- Current and former students.
Le calendrier de Gallium, son
séminaire et son
- A short vitae.
- Inria's White Book on Cybersecurity.