Hindley–Milner type inference

Redirect to:

• Hindley–Milner type system