Seminal: searching for ML type-error messages

@inproceedings{Lerner2006SeminalSF,
  title={Seminal: searching for ML type-error messages},
  author={Benjamin S. Lerner and D. Grossman and C. Chambers},
  booktitle={ML '06},
  year={2006}
}
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation from type-checking by taking a fundamentally new approach: we present to programmers small term-level modifications that cause an ill-typed program to become well-typed. This approach aims to improve feedback to programmers with no change to the underlying type-checker nor the compilation of well-typed programs.We have… Expand
Searching for type-error messages
Typical : Taking the Tedium Out of Typing
Improving Type Error Messages in OCaml
Counter-factual typing for debugging type errors
Constraint-Free Type Error Slicing
Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong)
Systematic identification and communication of type errors*
...
1
2
3
4
...