A simple algorithm and proof for type inference (1987)

by M Wand
Venue:Fundamenta Informatic