Disambiguation evidence for Hindley–Milner type system via surface form
"Damas–Milner type system"
Triples (3)
Triples where some other subject referred to this entity
as "Damas–Milner type system".
Hindley–Milner type system
→
alsoKnownAs
→
"Damas–Milner type system"
ⓘ
↳ resolves to Hindley–Milner type system
HM type system
→
alsoKnownAs
→
"Damas–Milner type system"
ⓘ
↳ resolves to Hindley–Milner type system