Static Type Inference in a Dynamically Typed Language (1991)

by Alex Aiken, Brian Murphy
Venue:In Proc. POPL ’91