A proper extension of ML with an eective type discipline (1988)

by A J Kfoury, J Tiuryn, P Urzyczyn
Venue:Proc. ACM Symp. on Principles of Programming Languages