Today we'll have a look at delimited continuations (delimCC in short): a refinement of not so famous feature of LISPs named call-with-current-continuation (callCC in short). Originally callCC didn't have any abilities to reduce a scope of continuation being captured, delimited continuations doesn't suffer from this problem.
We'll start from some simple example and build intuition how programs are working. After that we'll present formal semantics and talk how add types to our calculus and will discuss answer type polymorphism.
1) Kenichi Asai, Yukiyoshi Kameyama. Polymorphic Delimited Continuations
2) http://okmij.org/ftp/continuations/index.html A large collection links on the topic from Oleg Kiselyov
3) Tutorial from Oleg Kiselyov using Ochacaml language: http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/main-e.pdf
4) Olivier Danvy, Andrzei Filinski. A Functional Abstraction of Typed Contexts - original paper about delimCC.
Presenter: Dmitry Kosarev
Date: November 19, 2018
Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr., 28