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.
[ Parametricity ]
@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}
}
Get EndNote Reference (.ref)