Professor of Computer Science at ENSTA ParisTech, on secondment from INRIA.


Michel Mauny
ENSTA ParisTech
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),

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!