Olaf Chitil. Compositional Explanation of Types and Algorithmic Debugging of Type Errors. In Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming. ICFP '01, pages 193-204, Association for Computing Machinery, New York, NY, USA, 2001.
No references recorded for this publication.
No citations of this publication recorded.