Relational Parametricity for Control Considered as a Computational Effect (2007)

by R E Møgelberg, A Simpson
Venue:In Proc. MFPS XXIII, ENTCS 173:295–312