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

Computational effects which provide access to the flow of control (such as first-class continuations, exceptions and delimited continuations) are important features of higher-order programming languages. There are fundamental differences between them in terms of operational behaviour, expressiveness...

Full description

Saved in:
Bibliographic Details
Published in:Annals of pure and applied logic Vol. 168; no. 2; pp. 470 - 500
Main Author: Laird, J.
Format: Journal Article
Language:English
Published: Elsevier B.V 01.02.2017
Subjects:
Computational monads
Continuations
Control operators
Delimited control
Exceptions
Game semantics
Computational monads
68N15
Control operators
Game semantics
18C20
Exceptions
18C50
Delimited control
68Q55
Continuations
ISSN:0168-0072
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first