Counter-factual typing for debugging type errors.

Sheng Chen, Martin Erwig

Browse the full POPL paper archive.