A General Scheme for the Automatic Inference of Variable Types (1978)

by M A Kaplan, J Ullman, D
Venue:Fifth ACM Symposium on Principles of Programming Languages