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)