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.
Main research interests
Normalization by evaluation
Term rewriting systems
Compiler technology
Programming with dependent type theories
Publications
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 ]
Talks
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]