Introduction to programming with shift and reset Implementations of delimited control in OCaml, Haskell and Scheme A substructural type system for delimited continuations Streams and Iteratees How to remove a dynamic prompt: static and dynamic delimited continuation operators are equally expressible An argument against call/cc Generators: yield = exceptions + non-determinism Generic Zipper: the co