Practical SMT-based type error localization.

Zvonimir Pavlinovic, Tim King, Thomas Wies

Browse the full ICFP paper archive.