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

wand85

M. Wand. Embedding Type Structure in Semantics. In Proc. 12th ACM Symp. on Principles of Programming Languages, Pages 1-6, New Orleans, Louisiana, January 1985.

Keyword

[ Parametricity ]

Contact

M. Wand

BibTex Reference

@InProceedings{wand85,
   Author = {Wand, M.},
   Title = {Embedding Type Structure in Semantics},
   BookTitle = {Proc. 12th ACM Symp. on Principles of Programming Languages},
   Pages = {1--6},
   Address = {New Orleans, Louisiana},
   Month = {January},
   Year = {1985}
}

EndNote Reference [help]

Get EndNote Reference (.ref)