Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects (Q345713)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects |
scientific article; zbMATH DE number 6659116
| 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; zbMATH DE number 6659116 |
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
0.8260044
0 references
0.81766194
0 references
0.81474674
0 references
0.81452155
0 references
0.81146514
0 references
0.8102671
0 references
