Compositional Explanation of Types and Algorithmic Debugging of Type Errors - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Olaf Chitil' in Google

runs on WebDSL