Mostly Sound Type System Improves a Foundational Program Verifier.

Josiah Dodds, Andrew W. Appel

Browse the full CPP paper archive.