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

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.8 (Nov 10, /2009): bug fixed and impoved loading of eps images.

Other Information

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