Hindley-Milner type system
Hello, you have come here looking for the meaning of the word Hindley-Milner type system. In DICTIOUS you will not only get to know all the dictionary meanings for the word Hindley-Milner type system, but we will also tell you about its etymology, its characteristics and you will know how to say Hindley-Milner type system in singular and plural. Everything you need to know about the word Hindley-Milner type system you have here. The definition of the word Hindley-Milner type system will help you to be more precise and correct when speaking or writing your texts. Knowing the definition ofHindley-Milner type system, as well as those of other words, enriches your vocabulary and provides you with more and better linguistic resources.
English
Etymology
First described by J. Roger Hindley and later rediscovered by Robin Milner.
Noun
Hindley-Milner type system (plural Hindley-Milner type systems)
- (computing theory) 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.