TY  - RPRT
TI  - A Modular Structural Operational Semantics for Delimited Continuations
AU  - Neil Sculthorpe
AU  - Paolo Torrini
AU  - Peter D. Mosses
PY  - 2016
DO  - 10.4204/eptcs.212.5
UR  - https://arxiv.org/abs/1606.06381
ID  - 1606.06381
ER  -