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.

Ancestors (5)

  1. Algorithms
  2. Applied mathematics
  3. Fields of mathematics
  4. Mathematics
  5. Home

View article source

Discussion (0)

New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.
See all articles in the same topic Create my own version