Programming Systems Lab: Publications by Simon Boulier

Saarland University Computer Science

Select author:

2020

Coq Coq Correct! Verification of Type Checking and Erasure for Coq, in Coq
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 (To appear)


Login to edit


Legal notice, Privacy policy