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

by S Kaes
Venue:In Proc. ACM Conf. on LISP and Functional Programming (LFP