Contracts made manifest.

Michael Greenberg, Benjamin C. Pierce, Stephanie Weirich

Browse the full POPL paper archive.