%0 Conference Proceedings
%F kfwe94
%A Kfoury, A. J.
%A Wells, J. B.
%T A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus
%B LISP and Functional Programming
%P 196-207
%U http://doi.acm.org/10.1145/182409.182456
%D 1994
%K parametricity