Neil Sculthorpe |
Paolo Torrini |
Peter D. Mosses |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.212.5 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |