My picture

Didier Rémy

Senior researcher (directeur de recherche) at INRIA Paris in the Cambium project-team.
Google my site:
Contacting me
Publications
Teaching
Hacks
WhizzyTeX

Interests

Type 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 [ modules | abbreviations | disornamentation | ornaments | unique inhabitants | GADTs | coercions | MLF ].

Award

Sep 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.

Hacks

Other Information