CW'04 Program and on-line proceedings

Venice, Italy, January 17th, 2004

(Back to the CW'04 main page)

9:30-10:30. Invited talk 1

Continuations in Natural Language
Chris Barker (Department of Linguistics, University of California, San Diego).

11:00-12:30. Session 1

Delimited continuations in natural language
Chung-chieh Shan (Harvard University)

Axiomatizing Higher Level Delimited Continuation
Yukiyoshi Kameyama (University of Tsukuba)

An Operational Foundation for Delimited Continuations
Malgorzata Biernacka, Dariusz Biernacki, and Olivier Danvy (University of Aarhus)

14:00-15:00. Invited talk 2

On Evaluation Contexts, Continuations, and the Rest of the Computation
Olivier Danvy (University of Aarhus)

15:30-16:30. Session 2

Control in the pi-calculus
Kohei Honda (Queen Mary, University of London), Nobuko Yoshida (Imperial College) and Martin Berger (Queen Mary, University of London)

Combining continuations with other effects
Martin Hyland (University of Cambridge), Paul Blain Levy (University of Birmingham), Gordon Plotkin and John Power (University of Edinburgh)


The proceedings have appeared as a technical report. For paper copies, please contact the library of the School of Computer Science. To cite papers, the BibTeX details are as follows:

@techreport{cw04,
  author  =	 {Hayo Thielecke (Editor)},
  title =	 {Proceedings of the Fourth {ACM} {SIGPLAN}
                  Continuations Workshop {(CW'04)}},
  number =	 {CSR-04-1},
  institution =	 {School of Computer Science, University of
                  Birmingham},
  address =	 {Birmingham B15 2TT, United Kingdom},
  year =	 2004,
}