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

by A J Kfoury, J Tiuryn
Venue:In Proceedings of the Fifteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages