Compositional explanation of types and algorithmic debugging of type errors

DOI10.1145/507635.507659zbMath1323.68103OpenAlexW2087272670MaRDI QIDQ5178009

Olaf Chitil

Publication date: 9 March 2015

Published in: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/13568/1/compositional_explanation_of_types_chitil.pdf

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (7)

Improving type error reporting for type classes ⋮ Systematic identification and communication of type errors ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Teaching types with a cognitively effective worked example format ⋮ Skalpel: a constraint-based type error slicer for standard ML ⋮ Proofs of a set of hybrid let-polymorphic type inference algorithms ⋮ Source-tracking unification

This page was built for publication: Compositional explanation of types and algorithmic debugging of type errors