Parametricity and local variables (2008)

by P O’Hearn, R Tennent
Venue:In ICFP