HomeServicesBlogDictionariesContactSpanish Course
Home › Dictionary › English › Hindley-Milner type system
← Back to search

Meaning of Hindley-Milner type system | Babel Free

Noun CEFR C1

Definitions

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.

CEFR level

C1
Advanced
This word is part of the CEFR C1 vocabulary — advanced level.

See also

Hindley's screw hindlimb Hindlip Hindlish hindlock hindlook

Learn this word in context

See Hindley-Milner type system used in real conversations inside our free language course.

Start Free Course