Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
CW'04 Program and on-line proceedings

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