A Types-as-Set Semantics for Milner-Style Polymorphism (1984)

by M Wand
Venue:In Symposium on Principles of Programming Languages. ACM