Disambiguation evidence for Hindley–Milner type system via surface form

"Hindley–Milner type system"

Triples (11)

Triples where some other subject referred to this entity as "Hindley–Milner type system".

Robin Milner → knownFor →
"Hindley–Milner type system"
↳ resolves to Hindley–Milner type system
ⓘ
Standard ML → hasFeature →
"Hindley–Milner type system"
↳ resolves to Hindley–Milner type system
ⓘ
PureScript → hasTypeSystem →
"Hindley–Milner type system"
↳ resolves to Hindley–Milner type system
ⓘ
System F → influenced →
"Hindley–Milner type system"
↳ resolves to Hindley–Milner type system
ⓘ
linked to: system F
HM type system → alsoKnownAs →
"Hindley–Milner type system"
↳ resolves to Hindley–Milner type system
ⓘ
Algorithm W → basedOn →
"Hindley–Milner type system"
↳ resolves to Hindley–Milner type system
ⓘ
Algorithm J → usedIn →
"Hindley–Milner type system"
↳ resolves to Hindley–Milner type system
ⓘ
System F → influenced →
"Hindley–Milner type system"
↳ resolves to Hindley–Milner type system
ⓘ
J. Roger Hindley → knownFor →
"Hindley–Milner type system"
↳ resolves to Hindley–Milner type system
ⓘ
J. Roger Hindley → coDeveloperOf →
"Hindley–Milner type system"
↳ resolves to Hindley–Milner type system
ⓘ
J. Roger Hindley → theoryNamedAfter →
"Hindley–Milner type system"
↳ resolves to Hindley–Milner type system
ⓘ