Mathieu Boespflug

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 2

Top Topics

Provably Correct

Lambda Calculus

Language Learning

Top Venues

Proc. ACM Program. Lang.

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

Publications

Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
Linear Haskell: practical linearity in a higher-order polymorphic language. Proc. ACM Program. Lang. 2 (POPL) (2018)
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones, Arnaud Spiwack
Linear Haskell: practical linearity in a higher-order polymorphic language. CoRR (2017)
Mathieu Boespflug, Guillaume Burel
CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo. PxTP (2012)
Mathieu Boespflug, Quentin Carbonneaux, Olivier Hermant
The λΠ-calculus Modulo as a Universal Proof Language. PxTP (2012)
Mathieu Boespflug, Brigitte Pientka
Multi-level Contextual Type Theory LFMTP (2011)
Mathieu Boespflug, Maxime Dénès, Benjamin Grégoire
Full Reduction at Full Throttle. CPP (2011)
Mathieu Boespflug
Conversion by Evaluation. PADL (2010)
Mathieu Boespflug
From Self-Interpreters to Normalization by Evaluation CoRR (2009)