• Publications
  • Influence
Explaining Type Inference
TLDR
A modification of the unification algorithm used in Hindley-Milner type inference is presented, which allows the specific reasoning which led to a program variable having a particular type to be recorded for type explanation. Expand