Schedule
Fourth International Workshop on Foundations of Object-Oriented Languages
SATURDAY, JANUARY 18TH
9:00
Invited talk:
Should Java Have Parameterized Types?,
Guy Steele, Sun Microsystems
10:00
Coffee break
10:30
Typed pi-calculus at work: a proof of Jones's parallization
transformation on concurrent objects,
Davide Sangiorgi,
INRIA-Sophia Antipolis
10:55
Subtyping is not a good "match" for object-oriented languages,
Kim Bruce and Leaf Petersen,
Williams College, and Adrian Fiech, Memorial University of Newfoundland
11:20
Is the Java type system sound?,
Sophia Drossopolou and Susan Eisenbach
Department of Computing, Imperial College, London
11:45
Object Types and Modal Formulae,
Dan Andersen, Lars Pedersen, Hans Huttel, and Josva Kleist,
Department of Computer Science, Aalborg University
12:10
Lunch
2:00
Invited talk
Objects, Classes, Abstractions,
Luca Cardelli, DEC SRC
3:00
Coffee break
3:30
Breaking through the n^3 barrier: Faster object type inference,
Fritz Henglein,
DIKU, Denmark
3:55
Type inference with constrained types,
Martin Sulzmann, Martin Odersky, and Martin Wehr,
University of Karlsruhe
4:20
break
4:50
Ecstatic: An object-oriented programming language with an
axiomatic semantics ,
Rustan Leino,
Digital Systems Research Center
5:15
Type Soundness for an OO Language with Multimethods, Block Structure,
and Modules ,
Craig Chambers, University of Washington, and Gary Leavens,
Iowa State University
Return to the FOOL 4 home page.