Type inference in the presence of overloading, subtyping and recursive types (1992)

by S Kaes
Venue:In 1992 ACM Conference on Lisp and Functional Programming