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
FOOL6 Schedule

FOOL 6 Schedule

Saturday, January 23, 1999

8:50 Start

9:00-10:00 Invited Talk (Chair: Luca Cardelli)

The BETA Programming Language and Virtual Classes: Ole Lehrmann Madsen
Professor, Computer Science Department, Aarhus University
Director of Research, The Danish National Centre for IT Research

10:00-10:30 Break

10:30-12:00 Session 1 (Chair: Martin Odersky)

Foundations for Virtual Types: Atsushi Igarashi, Benjamin C. Pierce
Subtyping for Object Type Constructors: Dominic Duggan, Adriana Compagnoni
Foundations for Extensible Objects with Roles: Giorgio Ghelli, Debora Palmerini

12:00-2:00 Lunch

2:00-3:00 Session 2 (Chair: Sophia Drossopoulou)

Migration = Cloning ; Aliasing: Hans Huttel, Josva Kleist, Massimo Merro, Uwe Nestmann
Least Types for Memory Locations in (Java) Bytecode: Zhenyu Qian

3:00-3:30 Break

3:30-4:30 Session 3 (Chair: John H. Reppy)

Modular Statically Typed Multimethods: Todd Millstein, Craig Chambers
Object Calculi for Dynamic Messages: Michele Bugliesi, Silvia Crafa

4:30-5:30 Discussion