Browse by Journal
Jump to: C
Number of items: 1.
C
Chitil, Olaf (2001) Compositional Explanation of Types and Algorithmic Debugging of Type Errors. In: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming. ACM, New York, USA, pp. 193-204. ISBN 1-58113-415-0. (doi:10.1145/507635.507659) (KAR id:13568) |