Improving type error reporting for type classes

DOI10.1007/978-3-030-99461-7_2OpenAlexW4285168969MaRDI QIDQ2163154

Yanyan Li

Publication date: 10 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-99461-7_2

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items (1)

Improving type error reporting for type classes

Cites Work

• Unnamed Item
• Unnamed Item
• Proofs of a set of hybrid let-polymorphic type inference algorithms
• Explaining type inference
• Improving type error reporting for type classes
• 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
• Scripting the type inference process
• Discriminative sum types locate the source of type errors
• Understanding beginners' mistakes with Haskell
• Toward general diagnosis of static errors
• Counter-factual typing for debugging type errors

This page was built for publication: Improving type error reporting for type classes