Polymorphic type schemes (1984)

by A Mycroft
Venue:In Proceedings of the Sixth International Symposium on Programming