JetBrains Research unites scientists working in challenging new disciplines

Seminar on Gentle Introduction to Delimited Continuations

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.

Supplementary materials:

1) Kenichi Asai, Yukiyoshi Kameyama. Polymorphic Delimited Continuations

2) A large collection links on the topic from Oleg Kiselyov

3) Tutorial from Oleg Kiselyov using Ochacaml language:

4) Olivier Danvy, Andrzei Filinski. A Functional Abstraction of Typed Contexts - original paper about delimCC.

Presenter: Dmitry Kosarev

Date: November 19, 2018

Time: 17:15

Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr., 28