A simple semantics for ML polymorphism (1989)

by A Ohori
Venue:In Proceedings of ACM/IFIP Conference on Functional Programming Languages and Computer Architecture