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

by O Chitil
Venue:In ICFP ’01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming