A Monadic Framework for Subcontinuations

Functional and delimited continuations are more expressive than traditional

abortive continuations and they apparently seem to require a framework

beyond traditional continuation or monadic semantics. We show that this is not the

case: standard continuation semantics is sufficient to explain directly the common

control operators for delimited continuations. This implies a monadic framework for

typed and encapsulated functional and delimited continuations which we design and

implement as a Haskell library.

## Recent comments

1 day 3 hours ago

1 day 7 hours ago

1 day 8 hours ago

1 day 19 hours ago

1 day 20 hours ago

2 days 3 hours ago

2 days 4 hours ago

2 days 5 hours ago

2 days 5 hours ago

2 days 5 hours ago