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,
}