Robert D. Tennent
P. W. O'Hearn and R. D. Tennent.
Parametricity and local variables.
Journal of the ACM
, 42(3):658-709, May 1995.
Abstract, References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database