In type theory, Hindley–Milner (HM) is a classical type inference method with parametric polymorphism for the lambda calculus.
