Saturday, January 19, 2002

8:40 Start

8:45-9:45 Invited Talk

9:45-10:15 Break

10:15-12:15 Session 1

               Modular Typechecking for Hierarchically Extensible Datatypes and Functions
                            Todd Millstein, Craig Chambers

               Type-checking multi-methods in ML (A modular approach)
                            Daniel Bonniot

               First-Class Modules for Haskell
                            Mark Shields, Simon Peyton Jones

               Extensible Objects Without Labels
                            Christopher Stone

12:15-14:00 Lunch

14:00-15:30 Session 2

               Modern Concurrency Abstractions for C#
                            Nick Benton, Luca Cardelli, Cedric Fournet

               OO languages late-binding signature
                            Antoine Beugnard

               A Semantics for Advice and Dynamic Joint Points in Aspect-Oriented Programming
                            Mitchell Wand, Gregor Kiczales, Christopher Dutchyn

15:30-16:00 Break

16:00-17:30 Session 3

               Automatic Discovery of Read-Only Fields,
                            Jens Palsberg, Tian Zhao, Trevor Jim.

               Generation of Verification Conditions for Abadi and Leino's Logic of Objects
                            Francis Tang, Martin Hofmann

               Simple Type Inference for Structural Polymorphism
                            Jacques Garrigue