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.
I am a member of the editorial board of Journal of Functional Programming.Hacks
- Latex packages: locallabel, mathpartir, excercise, copytofile. ifjobname. boolean. reversion.
- WhizzyTeX
-
Active Dvi
Other Information
- A Colloquium in Honor of Gérard Huet.
-
Le calendrier de Gallium
et son
séminaire.
- A short vitae.