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

ohte93

P.W. O'Hearn, R.D. Tennent. Relational Parametricity and Local Variables. In Proc. 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, Pages 171-184, January 1993.

Keyword

[ Parametricity ]

Contact

P. W. O'Hearn
R. D. Tennent

BibTex Reference

@InProceedings{ohte93,
   Author = {O'Hearn, P.W. and Tennent, R.D.},
   Title = {Relational Parametricity and Local Variables},
   BookTitle = {Proc. 20th Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages},
   Pages = {171--184},
   Publisher = {ACM Press},
   Month = {January},
   Year = {1993}
}

EndNote Reference [help]

Get EndNote Reference (.ref)