Interests
Type systems and type inference, object-oriented languages, concurrent and distributed languages, semantics of programming languages
Foundations and design of
the
Objective Caml
and
Join languages.
See my publications, talks, and projects [ MLF | modules ].
I am a member of the editorial board of Journal of Functional Programming.Don't forget TLDI'09!
Hacks
- Latex packages: locallabel, mathpartir, excercise, proof, copytofile. ifjobname. boolean. reversion.
- WhizzyTeX --- New version 1.3.1 works with pgf and beamer
-
Active Dvi
--- New version 1.7.3 works with pgf and beamer
(also needed to work with gs 8.50 or above)
Other Information
- A Colloquium in Honor of Gérard Huet.
-
Le calendrier de Gallium
et son
séminaire.
- A short vitae.