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

Deputy Scientific Director

In charge of research in Algorithmics, Programming, Software and Architecture.

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 [ MLF | modules | coercions | GADTs | ornaments ].

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