Parametricity and Local Variables

Open Webpage

Peter W. O'Hearn, Robert D. Tennent

Published: 1995, Last Modified: 16 May 2025J. ACM 1995EveryoneRevisionsBibTeXCC BY-SA 4.0