Sign in

Relational Parametricity and Local Variables.

Peter W. O'HearnRobert D. Tennent
Published in: POPL (1993)
Keyphrases