Polymorphic type schemes and recursive de Pages 217{ 228 of (1984)

by Alan Mycroft
Venue:eds), Proceedings of the international symposium on programming, 6th colloquium