Correctly Compiling Proofs About Programs Without Proving Compilers Correct.

Audrey Seo, Christopher Lam, Dan Grossman, Talia Ringer

Browse the full ITP paper archive.