Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:14428764n
Noun Named Entity
Categories: Type systems, 1978 in computer science, Type inference, Type theory, Theoretical computer science
EN
Hindley–Milner  Hindley–Milner type system  Hindley-Milner Type Inference  Algorithm J  Algorithm W
EN
A Hindley–Milner type system is a classical type system for the lambda calculus with parametric polymorphism. Wikipedia
Definitions
Relations
Sources
EN
A Hindley–Milner type system is a classical type system for the lambda calculus with parametric polymorphism. Wikipedia
Type system supporting type inference Wikidata
IS A
type system
NAMED AFTER
J. Roger Hindley
Robin Milner
Wikipedia
EN
Hindley–Milner type system
Wikidata
EN
Hindley–Milner
Wikipedia Redirections
EN
Algorithm J, Algorithm W, Damas-Hindley-Milner, Damas-Milner, Damas–Hindley–Milner, Damas–Milner, Hindley-Damas-Milner theorem, Hindley-Milner, Hindley-Milner type inference, Hindley-Milner Type Inference, Hindley-Milner type inference algorithm, Hindley-Milner type system, Hindley-Milner typing, Hindley–Milner, Hindley–Milner type inference, Hindley–Milner type inference algorithm, HM(X), Let-polymorphism, Let generalization, Let polymorphism, ML (type system)
Wikidata Alias
EN
Damas–Hindley–Milner, Damas–Milner, DHM, HM

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License