Static type inference in a dynamically typed language (1991)

by A Aiken, B Murphy
Venue:In Eighteenth Annual ACM Symposium on Principles of Programming Languages