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

SCOPE AND TOPIC

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).

INVITED SPEAKERS

INFORMAL PROCEEDINGS

TPDC 2011 informal proceedings are available here.

PROGRAMME

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

ACCEPTED PAPERS

IMPORTANT DATES

SUBMISSION PROCEDURE

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 http://easychair.org/coolnews.cgi), and may be submitted electronically as pdf files via the easychair website: https://www.easychair.org/account/signin.cgi?conf=tpdc2011

PROGRAM COMMITTEE

WORKSHOP ORGANIZERS

For more information, please contact Alexis Saurin or Noam Zeilberger (first name DOT last name AT pps.jussieu.fr)