A Modular Structural Operational Semantics for Delimited Continuations
Neil Sculthorpe, Paolo Torrini, Peter D. Mosses · Electronic Proceedings in Theoretical Computer Science · 2016
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.