A. J. Kfoury, Jerzy Tiuryn. Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary). In Proceedings, Fifth Annual IEEE Symposium on Logic in Computer Science, 4-7 June 1990, Philadelphia, Pennsylvania, USA. pages 2-11, IEEE Computer Society, 1990.
Abstract is missing.