A Simple Algorithm and Proof for Type Inference (1987)

by M Wand
Venue:In Fundamentae Informaticae, X