Hindley-Milner type system
Hindley-Milner type system noun: 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.
Noun
Hindley-Milner type system (plural Hindley-Milner type systems)
- 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.
Forms of Hindley-Milner type system
| plural | Hindley-Milner type systems |
|---|
Origin of Hindley-Milner type system
First described by J. Roger Hindley and later rediscovered by Robin Milner.
Words formed from Hindley-Milner type system
Questions about Hindley-Milner type system
- What does Hindley-Milner type system mean?
- Hindley-Milner type system means 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.
- What part of speech is Hindley-Milner type system?
- Hindley-Milner type system is a noun.
- What is the plural of Hindley-Milner type system?
- The plural of Hindley-Milner type system is Hindley-Milner type systems.
Words near Hindley-Milner type system in the dictionary
Source and license
Adapted from Wiktionary: Hindley-Milner type system (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “Hindley-Milner type system.” Word.ws, https://word.ws/hindley-milner_type_system. Based on Wiktionary, CC BY-SA 4.0.