828, boulevard des Maréchaux
91762 Palaiseau Cedex
+33 1 8187 2032
My scientific interests are about programming languages, typing, functional programming, some aspects of compilation and meta-programming.
Currently (or very recently),
- I have been interested in checking types of marshalled values when there is no type information associated to the value in the marshal format (just like OCaml marshalled values). The goal is to make sure that reading a marshalled value does not compromise type safety of programs. Of course, since there is no type information in such marshalled values, we are not interested in guaranteeing type abstraction. More information about this in a paper (in french) or in a (forthcoming) report. This is joint work with Grégoire Henry and Emmanuel Chailloux.
- renovating some aspects of Camlp4 became urgent, because of OCaml evolutions. I have been working on this with Nicolas Pouillard.
- Virgile Prevosto, Damien Doligez and myself are working with Intel Corp on an implementation of the reFLect programming language. With Nicolas Pouillard and then with Benoît Vaugon, we reused this compiler in order to produce a translator from reFLect top OCaml. This led me to introduce in OCaml the so-called lazy patterns, in order to facilitate and optimize the usage of lazy evaluation in OCaml.
The first lines of this page could drive you directly to the page you're looking for. If you have some free time, let me guide you for this visit.
With no surprise, you'll first find a list of publications where some papers are electronically available.
The pages entitled Teaching will direct you to notes of courses that I give or I've given in the past. Some of them have been written during the last century and may have broken links.
The page named Hacks will drive you to programs I am or have been interested in. Please note that I am not always the author: for some of them, I do nothing but redistribute and/or maintain them.
Have a nice visit!