Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects (Q345713)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects |
scientific article |
Statements
Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects (English)
0 references
2 December 2016
0 references
game semantics
0 references
control operators
0 references
computational monads
0 references
exceptions
0 references
continuations
0 references
delimited control
0 references
