A proper extension of ML with an e ective type-assignment (1988)

by A J Kfoury, J Tiuryn, P Urzyczyn
Venue:In Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages