Jump to : Keyword | Contact | BibTex reference | EndNote reference |

wand84b

M. Wand. A Types-as-Sets Semantics for Milner-Style Polymorphism. In Proc. 11th ACM Symp. on POPL, Pages 158-164, January 1984.

Keyword

[ Parametricity ]

Contact

M. Wand

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)