Polymorphic type schemes and recursive (1984)

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