Author pages are created from data sourced from our academic publisher partnerships and public sources.
Share This Author
Explaining Type Inference
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