Continuations are a hugely influential concept in programming. They have found use in domains ranging from compilers to web servers, from control flow to concurrency, and from backtracking to event handling. However, there still remains much unexplored territory in the world of continuations, and more sophisticated types and uses of continuations continue to be developed to this day.

In this talk, we will explore some of these more exotic types and uses of continuations. We will look at cyclic continuations, languages that allow direct expression of continuations and treat continuations on equal footing with expressions, and how continuation defunctionalization can optimize logic programming and connect LL parsing to LR parsing.