1. Counter-factual typing for debugging type errors
2. Sheng Chen and Martin Erwig . 2014. Guided Type Debugging . In Functional and Logic Programming - 12th International Symposium. 35–51. Sheng Chen and Martin Erwig. 2014. Guided Type Debugging. In Functional and Logic Programming - 12th International Symposium. 35–51.
3. Olaf Chitil . 2001 . Compositional Explanation of Types and Algorithmic Debugging of Type Errors. In ICFP 2001. 193–204. Olaf Chitil. 2001. Compositional Explanation of Types and Algorithmic Debugging of Type Errors. In ICFP 2001. 193–204.
4. Locating causes of program failures
5. Type error slicing in implicitly typed higher-order languages