Correct and Complete Type Checking and Certified Erasure for Coq, in Coq.
Saved in:
| Title: | Correct and Complete Type Checking and Certified Erasure for Coq, in Coq. |
|---|---|
| Authors: | Sozeau, Matthieu1 (AUTHOR) matthieu.sozeau@inria.fr, Forster, Yannick2 (AUTHOR) yannick.forster@inria.fr, Lennon-Bertrand, Meven3 (AUTHOR) mgapb2@cam.ac.uk, Nielsen, Jakob4 (AUTHOR) jakob.botsch.nielsen@gmail.com, Tabareau, Nicolas1 (AUTHOR) nicolas.tabareau@inria.fr, Winterhalter, Théo5 (AUTHOR) theo.winterhalter@inria.fr |
| Source: | Journal of the ACM. Feb2025, Vol. 72 Issue 1, p1-74. 74p. |
| Database: | Business Source Ultimate |
| ISSN: | 00045411 |
|---|---|
| DOI: | 10.1145/3706056 |
