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

4 hours 33 min ago

11 hours 12 min ago

11 hours 42 min ago

11 hours 42 min ago

12 hours 18 min ago

12 hours 58 min ago

13 hours 6 min ago

1 day 6 hours ago

1 day 17 hours ago

1 day 23 hours ago