%0 Conference Proceedings
%F kaes92
%A Kaes, Stefan
%T Type Inference in the Presence of Overloading, Subtyping and Recursive Types
%B Proc. ACM Conf. on LISP and Functional Programming (LFP), San Francisco, California
%P 193-204
%I ACM Press
%8 June
%D 1992
%K parametricity