A Modular Structural Operational Semantics for Delimited Continuations
classification
💻 cs.PL
keywords
semanticscontroldelimitedexpressmodularoperationalstructuralbeen
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.