Polymorphic type schemes and recursive de (1984)

by A Mycroft
Venue:Proceedings of the International Symposium on Programming, 6th Colloquium