Polymorphic type schemes and recursive definitions (1984)

by A Mycroft
Venue:in ``Proceedings, 6th International Conference on Programming,'' Lecture Notes in Computer Science