Type reconstruction in nite rank fragments of the second-order -calculus (1992)

by A J Kfoury, J Tiuryn
Venue:Information and Computation