Relational Parametricity for Control Considered as a Computational Effect

Rasmus Ejlers Møgelberg, Alex Simpson. Relational Parametricity for Control Considered as a Computational Effect. Electronic Notes in Theoretical Computer Science, 173:295-312, 2007. [doi]

Abstract

Abstract is missing.