Combining and relating control effects and their semantics

MaRDI QIDQ4957793zbMATH OpenFDO

Authors James Laird

Publication date 9 September 2021

Full work available at URL https://arxiv.org/abs/1309.1259, http://eptcs.web.cse.unsw.edu.au/paper.cgi?COS2013.8

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects
• Game semantics for nominal exceptions
• scientific article; zbMATH DE number 2087542
• scientific article; zbMATH DE number 1538034
• Complete trace models of state and control

Cites work

• Combining algebraic effects with continuations
• Full abstraction for nominal general references
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 1223609 (Why is no real title available?)
• scientific article; zbMATH DE number 1259144 (Why is no real title available?)
• scientific article; zbMATH DE number 2087542 (Why is no real title available?)

Cited in

(2)

• Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects
• A computation model for semantic control

This page was built for publication: Combining and relating control effects and their semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4957793)