All Your IFCException Are Belong to Us.

Catalin Hritcu, Michael Greenberg, Ben Karel, Benjamin C. Pierce, Greg Morrisett

Browse the full SP paper archive.