Algorithm
•
Formal methods
•
Type theory
•
Type inference
•
1978 in computer science
•
1985 in computer science
1969 in computer science
Type system
Lambda calculus
Theoretical computer science
Hindley–Milner type system
In type theory and functional programming, Hindley–Milner (HM) (also known as Damas–Milner or Damas–Hindley–Milner) is a classical type system for the lambda calculus with parametric polymorphism, fir...