Word.ws English Dictionary

Hindley-Milner type systems

Hindley-Milner type systems is the plural of Hindley-Milner type system.

Meaning of Hindley-Milner type system

Noun

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

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

Questions about Hindley-Milner type systems

What is Hindley-Milner type systems the plural of?
Hindley-Milner type systems is the plural of Hindley-Milner type system.

Words near Hindley-Milner type systems in the dictionary

  1. Hindles
  2. Hindley
  3. Hindley Green
  4. Hindley's screw
  5. Hindley-Milner type system
  6. Hindley-Milner type systems
  7. Hindleys
  8. hindlimb
  9. hindlimbs
  10. Hindlip
  11. Hindlish

Source and license

Adapted from Wiktionary: Hindley-Milner type systems (page history and authors); 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 systems.” Word.ws, https://word.ws/hindley-milner_type_systems. Based on Wiktionary, CC BY-SA 4.0.