Systematic identification and communication of type errors

DOI10.1017/S095679681700020XzbMath1476.68050OpenAlexW2791679071MaRDI QIDQ4577823

Martin Erwig, Sheng Chen

Publication date: 3 August 2018

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s095679681700020x

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• Proofs of a set of hybrid let-polymorphic type inference algorithms
• Explaining type inference
• Practical SMT-based type error localization
• Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)
• An error-tolerant type system for variational lambda calculus
• Guided Type Debugging
• Compositional explanation of types and algorithmic debugging of type errors
• Discriminative sum types locate the source of type errors
• Toward general diagnosis of static errors
• Counter-factual typing for debugging type errors

This page was built for publication: Systematic identification and communication of type errors