Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects

DOI10.1016/j.apal.2016.10.011zbMath1350.68179OpenAlexW2512447108MaRDI QIDQ345713

Jim Laird

Publication date: 2 December 2016

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2016.10.011

zbMATH Keywords

computational monadsgame semanticscontinuationscontrol operatorsdelimited controlexceptions

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Combining algebraic effects with continuations
• On the expressive power of programming languages
• On full abstraction for PCF: I, II and III
• Game semantics for first-order logic
• Game Semantics for Nominal Exceptions

This page was built for publication: Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects