Hindley–Milner type system

GPTKB entity

Predicate	Object
gptkbp:instanceOf	gptkb: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
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 gptkb:A_Theory_of_Type_Polymorphism_in_Programming_(Milner,_1978)
gptkbp:bfsLayer	7
https://www.w3.org/2000/01/rdf-schema#label	Hindley–Milner type system