Mathieu Boespflug

According to our database, Mathieu Boespflug authored at least 8 papers between 2009 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Linear Haskell: practical linearity in a higher-order polymorphic language.

Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack

Proc. ACM Program. Lang., 2018

2012

The λΠ-calculus Modulo as a Universal Proof Language.

Mathieu Boespflug, Quentin Carbonneaux, Olivier Hermant

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012

CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo.

Mathieu Boespflug, Guillaume Burel

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012

2011

Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo. (Design and implementation of a proof verifying kernel for the λΠ-calculus modulo).

Mathieu Boespflug

PhD thesis, 2011

Multi-level Contextual Type Theory

Mathieu Boespflug, Brigitte Pientka

Proceedings of the Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, 2011

Full Reduction at Full Throttle.

Mathieu Boespflug, Maxime Dénès, Benjamin Grégoire

Proceedings of the Certified Programs and Proofs - First International Conference, 2011

2010

Conversion by Evaluation.

Mathieu Boespflug

Proceedings of the Practical Aspects of Declarative Languages, 2010

2009

From Self-Interpreters to Normalization by Evaluation

Mathieu Boespflug

CoRR, 2009