5 citations · 11 across the 5 of their papers we have counts for
1 paper · 2 filters
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 fu…