Self-certification: bootstrapping certified typecheckers in F* with Coq.

Pierre-Yves Strub, Nikhil Swamy, Cdric Fournet, Juan Chen

Browse the full POPL paper archive.