Contact info

Email: reverse "rf.euqinhcetylop.xil@seobm".
Address: Laboratoire d'Informatique (LIX), École Polytechnique, 91128 Palaiseau Cedex, France
Phone: +33 1 69 33 40 63

Mathieu Boespflug

I am a member of the Typical team, currently in the third year of my PhD studies, under the supervision of Gilles Dowek.

New: my thesis entitled "Design and implementation of a proof checking kernel for lambda-Pi-modulo" is online. [ .pdf | slides ]

Mathieu Boespflug. Conversion by evaluation. In Proceedings of the Twelfth Internation Symposium on Pracical Aspects of Declarative Languages, Madrid, Spain, 2010. A preliminary version was presented at the NbE'09 workshop. [ bib | .pdf ]
Mathieu Boespflug. From self-interpreters to normalization by evaluation. In Informal Proceedings of the 2009 Workshop on Normalization by Evaluation, pages 29-34, Los Angeles, California, August 2009. [ bib | .pdf ]
Mathieu Boespflug. TaiChi: how to check your types with serenity. In Wouter Swierstra, editor, The Monad.Reader, volume 9, pages 17-31. November 2007. [ bib | .pdf ]

2007-11-21 Compilation de la récriture vers la ZAM [slides]
2008-05-06 Un plongement efficace de règles de récritue dans OCaml [slides]
2008-06-09 La NbE et Moca [slides]
2009-08-15 NbE'09 Workshop: Efficient normalization by evaluation [slides]
2009-08-15 NbE'09 Workshop: From self-interpreters to normalization by evaluation [slides]
2009-09-14 INRIA Rocquencourt: Dedukti: un noyau pour λΠ-modulo [slides]
2010-01-18 PADL'10 Symposium: Conversion by Evaluation [slides]

2007-2008 4th quarter: INF 321 - Les principes des langages de programmation
2008-2009 2nd quarter: INF 421 - Les bases de la programmation et de l'algorithmique
2009-2010 2nd semester: INF 431 - Algorithmes et programmation: du séquentiel au distribué
2009-2010 4th quarter: INF 321 - Les principes des langages de programmation