Matthias Puech
Matthias Puech
Verified email at cs.mcgill.ca - Homepage
Title
Cited by
Cited by
Year
Proofs, upside down
M Puech
Asian Symposium on Programming Languages and Systems, 365-380, 2013
52013
Typeful normalization by evaluation
O Danvy, C Keller, M Puech
32014
Certificates for Incremental Type Checking
M Puech
Università di Bologna, Université Paris Diderot, 2013
22013
Reconnaissance automatique de structures mathématiques dans l’assistant de preuve Coq
M Puech
Master’s thesis, Université Paris Diderot - Paris 7, 2008
22008
Typeful Continuations
M Puech
2017
Safe Incremental Type Checking
M Puech, Y Régis-Gianas
2012
HAL Id: hal-00650341
M Puech, Y Régis-Gianas
2012
Towards typed repositories of proofs
M Puech, Y Régis-Gianas
2010
Certifying, incremental type checking
M Puech, Y Régis-Gianas
The system can't perform the operation now. Try again later.
Articles 1–9