Mitchell Wand. A Types-as-Sets Semantics for Milner-Style Polymorphism. In POPL. pages 158-164, 1984.
@inproceedings{Wand84, title = {A Types-as-Sets Semantics for Milner-Style Polymorphism}, author = {Mitchell Wand}, year = {1984}, tags = {semantics}, researchr = {https://researchr.org/publication/Wand84}, cites = {0}, citedby = {0}, pages = {158-164}, booktitle = {POPL}, }