Disambiguation evidence for Hindley–Milner type system via surface form
"The Principal Type-Scheme of an Object in Combinatory Logic"
Triples (1)
Triples where some other subject referred to this entity
as "The Principal Type-Scheme of an Object in Combinatory Logic".
J. Roger Hindley
→
notableWork
→
"The Principal Type-Scheme of an Object in Combinatory Logic"
ⓘ
↳ resolves to Hindley–Milner type system