411 REFERENCE · Wiktionary
Hindley-Milner type system
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
First described by J. Roger Hindley and later rediscovered by Robin Milner.
Noun
Hindley-Milner type system
en comptheory A classical type system for the lambda calculus with parametric polymorphism, notable for its completeness and its ability to infer the most general type of a given program without programmer-supplied type annotations or other hints.
Derived terms
en HM
en eponyms