

I am a senior researcher at INRIA's Rocquencourt site, near Paris, France.
(Here is a photo! And here are directions
to Rocquencourt.)
I am a member of the Gallium team (formerly Cristal).
Research:
Teaching:
Software:
- a prototype implementation for the
book chapter The Essence of ML Type Inference,
by Yann Régis-Gianas, Didier Rémy, and myself;
- Pure FreshML, a prototype programming
language that I have toyed with;
- Cαml, a tool that helps deal with α-conversion in
Objective Caml programs;
- Menhir, a LR(1) parser generator for the
Objective Caml programming language;
- Fix,
a simple Objective Caml module for computing
the least fixed point of a system of monotone equations;
- PPrint,
an Objective Caml adaptation of Wadler's and Leijen's prettier printer;
- FORK, an extension of System F Omega with
well-behaved Recursive Kinds;
- my Macintosh software, written in a former life;
- my World Wide Web link checker Big Brother;
- my simple-minded 5-in-a-row player;
- my Connect 4 player;
Photos:
Activities:
Upcoming events:
My current and former students are:
 | Home |
Email
| Phone: +33 1 39 63 52 64
| Last modified: June 30, 2010
|