Hindley-Milner type system (English, noun)
expansion: Hindley-Milner type system (plural Hindley-Milner type systems)
Senses:
topics: computing
computing-theory
engineering
mathematics
natural-sciences
physical-sciences
sciences
glosses: 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:
form: Hindley-Milner type systems
tags: plural