Improving type error reporting for type classes
From MaRDI portal
Publication:2163154
DOI10.1007/978-3-030-99461-7_2OpenAlexW4285168969MaRDI QIDQ2163154
Publication date: 10 August 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-99461-7_2
Related Items (1)
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