M. Wand. A Types-as-Sets Semantics for Milner-Style Polymorphism. In Proc. 11th ACM Symp. on POPL, Pages 158-164, January 1984.
[ Parametricity ]
@InProceedings{wand84b,
Author = {Wand, M.},
Title = {A Types-as-Sets Semantics for Milner-Style Polymorphism},
BookTitle = {Proc. 11th ACM Symp. on POPL},
Pages = {158--164},
Month = {January},
Year = {1984}
}
Get EndNote Reference (.ref)