TY  - RPRT
TI  - Linear-use CPS translations in the Enriched Effect Calculus
AU  - Jeff Egger
AU  - Rasmus Ejlers Møgelberg
AU  - Alex Simpson
PY  - 2012
DO  - 10.2168/lmcs-8(4:2)2012
UR  - https://arxiv.org/abs/1209.4268
ID  - 1209.4268
ER  -