%0 Conference Proceedings
%F bo89
%A Boehm, H.
%T Type Inference in the Presence of Type Abstraction
%B Proc. SIGPLAN '89 Conf. on Programming Language Design and Implementation
%P 192-206
%I ACM Press
%8 June
%D 1989
%K parametricity