A types-as-sets semantics for Milner-style polymorphism (1984)

by M Wand
Venue:In Proc. 11th ACM Symp. on Principles of Programming Languages