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

by A KFOUR, J TIURYN, P URZYCZWS
Venue:In Proceedings of the 15th Annual ACM Symposium on Principles of Programming Languages