Aiken, Murphy, 1991. Static type inference in a dynamically typed language, in: . ACM Press.. https://doi.org/10.1145/99583.99621