A Modular Structural Operational Semantics for Delimited Continuations
arXiv:1606.06381 · doi:10.4204/EPTCS.212.5
Abstract
It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general delimited control operators control and shift.
In Proceedings WoC 2015, arXiv:1606.05839