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

by S Kaes
Venue:In Proc. conference on LISP and Functional Programming