Lambda the Ultimate

Compared to static delimited continuations, and despite recent implementation advances, the topic of dynamic delimited continuations still remains largely unexplored. We believe that the spectrum of compatible computational artifacts presented here â€" abstract machine, evaluator, computational monad, and dynamic continuation-passing style â€" puts one in a better position to assess them.