My picture

Didier Rémy

Senior researcher (directeur de recherche) at INRIA Paris-Rocquencourt in the Gallium project-team.
Google my site:
Contacting me
Visiting 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 (at INRIA).

See my publications, talks, and projects [ MLF | modules | coercions | GADTs ].

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