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.

Ask AI about this wordChatGPTClaudePerplexityGoogle AIGrok

Meanings

nounHindley-Milner type system (plural Hindley-Milner type systems)

plural Hindley-Milner type systems

  1. computingA 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.

Origin

First described by J. Roger Hindley and later rediscovered by Robin Milner.

Full word history & related roots →
Cite this entry
APA

Hindley-Milner type system. (n.d.). In WatkinsX Dictionary. Retrieved November 5, 2026, from https://dictionary.watkinsx.com/word/Hindley-Milner%20type%20system

MLA

“Hindley-Milner type system.” WatkinsX Dictionary, https://dictionary.watkinsx.com/word/Hindley-Milner%20type%20system. Accessed November 5, 2026.

Chicago

WatkinsX Dictionary, s.v. “Hindley-Milner type system,” accessed November 5, 2026, https://dictionary.watkinsx.com/word/Hindley-Milner%20type%20system.

Source: Hindley-Milner type system on Wiktionary, CC BY-SA 4.0.