A minimalistic verified bootstrapped compiler (proof pearl)

Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs ◽

10.1145/3437992.3439915 ◽

2021 ◽

Author(s):

Magnus O. Myreen

Download Full-text