Programming Systems Lab: Publications by Matthieu Sozeau

Saarland University Computer Science

Select author:


Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq   (pdf)
Matthieu Sozeau, Simon Boulier, Yannick Forster, Nicolas Tabareau, Théo Winterhalter
47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020), New Orleans, USA

Login to edit

Legal notice, Privacy policy