GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Hindley–Milner type system
URI:
https://gptkb.org/entity/Hindley–Milner_type_system
GPTKB entity
Statements (30)
Predicate
Object
gptkbp:instanceOf
type system
gptkbp:alsoKnownAs
gptkb:Damas–Hindley–Milner_type_system
gptkbp:basisFor
modern functional programming languages
gptkbp:enables
static type checking
automatic type deduction
gptkbp:extendsTo
gptkb:Robin_Milner
gptkbp:feature
type inference
parametric polymorphism
principal types
https://www.w3.org/2000/01/rdf-schema#label
Hindley–Milner type system
gptkbp:influenced
type systems in programming languages
gptkbp:influencedBy
gptkb:lambda_calculus
gptkb:simply_typed_lambda_calculus
gptkbp:namedAfter
gptkb:Robin_Milner
gptkb:Roger_Hindley
gptkbp:originatedIn
gptkb:Roger_Hindley
gptkbp:publishedIn
1978
gptkbp:relatedTo
gptkb:logic
gptkb:System_F
polymorphic type systems
gptkbp:usedIn
gptkb:ML_programming_language
gptkb:OCaml_programming_language
gptkb:Elm_programming_language
gptkb:F#_programming_language
gptkb:Haskell_programming_language
gptkb:PureScript_programming_language
gptkbp:bfsParent
gptkb:System_F
gptkb:second-order_lambda_calculus
gptkb:system_F
gptkbp:bfsLayer
6