Guided Type Debugging.

Sheng Chen, Martin Erwig

Browse the full FLOPS paper archive.