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
46 min 13 sec ago
53 min 20 sec ago
19 hours 58 min ago
1 day 5 min ago
1 day 55 min ago
1 day 1 hour ago
2 days 10 hours ago
2 days 11 hours ago
2 days 11 hours ago
2 days 11 hours ago