%0 Conference Proceedings
%F kfti90
%A Kfoury, A.
%A Tiuryn, J.
%T Type Reconstruction in Finite-Rank Fragments of the Polymorphic $\lambda$-Calculus
%B Proc. 5th Annual IEEE Symp. on Logic in Computer Science (LICS), Philadelphia, Pennsylvania
%P 2-11
%I IEEE Computer Society Press
%8 June
%D 1990
%K parametricity