Didier Rémy

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 [ ML^F | modules ].

I am a member of the editorial board of Journal of Functional Programming.

Hacks

• Latex packages: locallabel, mathpartir, excercise, proof, copytofile. ifjobname. boolean. reversion.
• BibTeX: non invasive printing of URLs in references.
• 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

• Current and former students.
• Le calendrier de Gallium et son séminaire.
  
• A short vitae.