Œuf: minimizing the Coq extraction TCB

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018 ◽

10.1145/3167089 ◽

2018 ◽

Cited By ~ 6

Author(s):

Eric Mullen ◽

Stuart Pernsteiner ◽

James R. Wilcox ◽

Zachary Tatlock ◽

Dan Grossman

Download Full-text