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.
@inproceedings{Chitil01,
title = {Compositional Explanation of Types and Algorithmic Debugging of Type Errors},
author = {Olaf Chitil},
year = {2001},
tags = {composition, debugging},
researchr = {https://researchr.org/publication/Chitil01},
cites = {0},
citedby = {0},
pages = {193-204},
booktitle = {Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming},
series = {ICFP '01},
address = {New York, NY, USA},
publisher = {Association for Computing Machinery},
}