Relational parametricity and local variables (preliminary report (1993)

by P W O’Hearn, R D Tennent
Venue:In Conference Record of the Twentieth Annual ACM Symposium on Principles of Programming Languages