Compositional explanation of types and algorithmic debugging of type errors (2001)

by Olaf Chitil
Venue:In Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP’01