[Prev][Next][Index][Thread]

Advance Program, ACM SIGPLAN Workshop on Continuations (CW92)

Date:  Wed, 6 May 92 19:03:58 -0500
Return-Path:  <danvy@cis.ksu.edu>

                          ADVANCE PROGRAM -- CW92

                    ACM SIGPLAN Workshop on Continuations
                               June 21, 1992
                         San Francisco,  California
                         (between PLDI92 and LFP92)


The notion of continuation is ubiquitous in many different areas of
computer science, including logic, constructive mathematics,
programming languages, and programming.  This workshop aims at
providing a forum for discussion of: new results and work in progress;
work aimed at a better understanding of the nature of continuations;
applications of continuations, and the relation of continuations to
other areas of logic and computer science.


------------------------------

9:00-10:00 -- Control
Chairman: John Riecke

Guy L. Steele Jr. (Thinking Machine Corporation):
``Anticatch''

Andrzej Filinski (Carnegie-Mellon University):
``Recursion from Iteration''


10:15-12:00 -- Typing
Chairman: Mitchell Wand

Bob Harper, Mark Lillibridge (Carnegie-Mellon University):
``Polymorphic Type Assignment and CPS Conversion''

Franco Barbanera, Stefano Berardi (Universita di Torino):
``Continuations and Simple Types''


01:30-3:15 -- Logic and continuations
Chairman: Tim Griffin

Richard Kieburtz, Borislav Agapiev, James Hook (Oregon Graduate Institute):
``Three Monads for Continuations''

Chet Murthy (INRIA):
``Control Operators, Hierarchies, and Pseudo-Classical Type Systems''


3:45-5:30 -- Implementation
Chairman: Daniel P. Friedman

Takayasu Ito, Tomohiro Seino (Tohoku University):
``On PaiLisp Continuation and its Implementation''

Chris Okasaki, Peter Lee, David Tarditi (Carnegie-Mellon University):
``Continuation-passing and Graph Reduction''

------------------------------


General and program chair: Olivier Danvy, danvy@cis.ksu.edu
                           Carolyn L. Talcott, clt@sail.stanford.edu

Program committee: Olivier Danvy (Kansas State University)
                   Matthias Felleisen (Rice University)
                   Daniel P. Friedman (Indiana University)
                   Tim Griffin (Bell Laboratories)
                   Bob Harper (Carnegie Mellon University)
                   Jon Riecke (University of Pennsylvania)
                   Carolyn L. Talcott (Stanford University)
                   Mitchell Wand (Northeastern University)


The proceedings will be distributed at the workshop.  They also are
edited as a Stanford Technical Report.

Registration: cf. the ACM SIGPLAN PLDI92/LFP92 leaflet.