Type Reconstruction in Finite-Rank Fragments of the Polymorphic lambda-Calculus (Extended Summary)

A. J. Kfoury, Jerzy Tiuryn

Browse the full LICS paper archive.