Final program
Informal Proceedings

Saturday 17, morning

Invited lecture (9:00-10:00)

Objects, Local State, and Linear Polymorphism
Peter O'Hearn (Queen Mary and Westfield College)

Session 1 (10:30-12:00) Semantics interpretations of objects

Objects and Classes in Algol-like Languages
Uday S. Reddy (University of Illinois)
Behavioural Subtyping for a Type-Theoretic Model of Objects
Erik Poll (University of Kent)
Type Destructors
Martin Hofmann (Darmstadt University of Technology) and Benjamin C. Pierce (Indiana University)

Saturday 17, afternoon

Invited lecture (13:30-14:30)

Completeness and soundness considered harmful
Greg Nelson (Digital Equipment Corporation)

Session 2 (15:00-16:30) Modular programming and virtual types

Using modules as classes
Jérôme Vouillon (INRIA-Rocquencourt)
Virtual Types are Statically safe
Mads Torgersen (Arhus University)
A statically safe alternative to virtual types
Kim B. Bruce (Williams College), Martin Odersky (University of South Australia), and Philip Wadler (Bell Laboratories).

Sunday 18, morning

Invited lecture (9:00-10:00)

Towards Diesel, a Next-Generation OO Language after Cecil
Craig Chambers (University of Washington)

Session 3 (10:30-12:00) Object extension and override

Specifying the modification of extended state
K. Rustan M. Leino (Digital Equipment Corporation)
An Imperative, first-order calculus with object extension
Viviana Bono (University of Torino) and Kathleen Fisher (AT&T Labs Research)
Privacy via Subsumption
Jon G. Riecke (Bell Laboratories) and Christopher A. Stone (Carnegie Mellon University)