 Hindley–Milner type system

The Hindley–Milner type system is a well-known type system used in functional programming languages, particularly those that support first-class functions and polymorphism. It was developed by Roger Hindley and Robin Milner in the 1970s and is the foundation for type inference in languages such as ML (Meta Language), Haskell, and others.