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