Relational Parametricity for Computational Effects.

Rasmus Ejlers Mgelberg, Alex Simpson

Browse the full LICS paper archive.