Polymorphic type schemes and recursive de nitions (1984)

by A Mycroft
Venue:In Proceedings of the International Symposium on Programming