MLCompCert Coq proofs. http://gallium.inria. fr/ ∼ dargaye/mlcompcert.html (2009)

by Z Dargaye