Seminal: searching for ML type-error messages

  title={Seminal: searching for ML type-error messages},
  author={Benjamin S. Lerner and D. Grossman and C. Chambers},
  booktitle={ML '06},
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*