Damas–Hindley–Milner type system

GPTKB entity

Predicate	Object
gptkbp:instanceOf	type system
gptkbp:alsoKnownAs	gptkb:Hindley–Milner_type_system HM type system
gptkbp:basisFor	type inference algorithms
gptkbp:describedBy	Damas and Milner (1982) paper Theorem 2 of Hindley (1969)
gptkbp:feature	type inference parametric polymorphism
gptkbp:field	gptkb:logic gptkb:programming_language
https://www.w3.org/2000/01/rdf-schema#label	Damas–Hindley–Milner type system
gptkbp:influenced	modern type systems type inference in functional programming
gptkbp:introducedIn	1978
gptkbp:limitation	does not support subtyping limited support for type classes
gptkbp:originatedIn	gptkb:Robin_Milner gptkb:Roger_Hindley Luis Damas
gptkbp:property	principal type property
gptkbp:relatedTo	gptkb:lambda_calculus gptkb:System_F
gptkbp:supports	let-polymorphism
gptkbp:usedFor	static type checking type safety in programming languages
gptkbp:usedIn	gptkb:ML_programming_language gptkb:OCaml_programming_language gptkb:F#_programming_language gptkb:Haskell_programming_language
gptkbp:bfsParent	gptkb:Hindley–Milner_type_system
gptkbp:bfsLayer	7