A simple algorithm and proof for type inference. Fundamenta Informaticae 10 (1989)

by M Wand