The principal type scheme of an object in combinatory logic (1969)

by J Roger Hindley
Venue:Transactions of the American Mathematical Society