Author manuscript, published in "39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages- POPL'12 (2012)" Self-Certification Bootstrapping Certified Typecheckers in F ⋆ with Coq (2011)

Cached

Download Links

by Pierre-yves Strub , Nikhil Swamy , Cédric Fournet , Juan Chen