Theory and Practice of Delimited Continuations Workshop
TPDC 2011, a Workshop affiliated with RDP 2011


Since their introduction in the late 1980s, delimited control operators have triggered increasing interest among programmers and the programming language community, found unexpected applications in conceptual domains such as linguistics and constructive mathematics, and shown themselves to be the natural development of classical control operators. The first workshop on the Theory and Practice of Delimited Continuations aims to bring together people working with the many different (practical, theoretical, or foundational) aspects of delimited continuations, in the hope of fostering some unity and progress.

Contributions on all topics related to delimited continuations are welcome, as either short abstracts or full papers (see SUBMISSION PROCEDURE below).



TPDC 2011 informal proceedings are available here.


Sunday, 29 May

13:45-14:00. Welcome
14:00-14:45. A robust implementation of delimited control by Zena Ariola, Hugo Herbelin, David Herman and Dan Keith
14:45-15:30. Short abstract: Monadic reflection in Lax Logic by Tristan Crolard

15:30-16:00. Break

16:00-17:00. Invited talk: What are these control hierarchies? by Chung-chieh Shan
17:00-17:45. Short abstract: From models towards strong reduction for delimited control operators by Danko Ilik

Monday, 30 May

9:00-9:30. RDP formal opening ceremony

9:30-10:00. Break

10:00-11:00. Invited talk: Extending Control by Olivier Danvy

11:00-11:45. Short abstract: Delimited Control and Continuation Passing Style in Pure Type Systems by Pierre Boutillier and Hugo Herbelin
11:45-12:30. Short abstract: Non-commlutative logic, continuations and effects by Noam Zeilberger

12:30-14:15. Lunch

14:15-15:00. Caml Light + shift/reset = Caml Shift by Moe Masuko and Kenichi Asai
15:00-15:45. Yield: Mainstream Delimited Continuations by Roshan P. James and Amr Sabry

15:45-16:15. Break

16:15-16:45. Review of recent literature on delimited continuations by Hugo Herbelin

16:45-17:15. Open discussion




We accept submissions of two kinds:

Short abstracts are proposals for talks within a wide rubric: reports on work-in-progress or recently published papers, surveys or short tutorials, system demonstrations, etc. Full papers must describe new work not under consideration for publication elsewhere. Accepted papers and abstracts will be presented at the workshop and included in the proceedings, published as a technical report.

Papers and abstracts should be formatted using the easychair.cls LaTeX class (see, and may be submitted electronically as pdf files via the easychair website:



For more information, please contact Alexis Saurin or Noam Zeilberger (first name DOT last name AT