Didier Remy

My picture

	Didier Rémy

	Senior researcher (directeur de recherche) at INRIA Paris-Rocquencourt in the Gallium project-team (also working with people of the Moscova team).


	Google my site:


	Contacting me
	Visiting me
	Publications
	Teaching
	Hacks
	WhizzyTeX

Don't forget to submit a presentation to the OCaml Users and Developers (OUD) meeting!

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

Hacks

Latex packages: locallabel, mathpartir, excercise, proof, copytofile. ifjobname. boolean. reversion.
BibTeX: non invasive printing of URLs in references.
WhizzyTeX --- Version 1.3.2 of Aug 2, 2011 (works with pgf and beamer)
Active Dvi --- Version 1.10.2 of Sep 27, 2011 (works with camlimages 4.0.)

Other Information

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