%O Report 
%F kfwe93
%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
%N 93
%I Boston University
%8 November
%D 1993
%K parametricity