Polymorphic type schemes and recursive definitions (1984)

by A Mycroft
Venue:International Symposium on Programming