Cited By
View all- Sozeau MForster YLennon-Bertrand MNielsen JTabareau NWinterhalter T(2025)Correct and Complete Type Checking and Certified Erasure for Coq, in CoqJournal of the ACM10.1145/370605672:1(1-74)Online publication date: 27-Jan-2025
- Myreen MHriţcu CPopescu A(2021)A minimalistic verified bootstrapped compiler (proof pearl)Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs10.1145/3437992.3439915(32-45)Online publication date: 17-Jan-2021
- Parthasarathy GMüller PSummers A(2021)Formally Validating a Practical Verification Condition GeneratorComputer Aided Verification10.1007/978-3-030-81688-9_33(704-727)Online publication date: 15-Jul-2021
- Show More Cited By