Fourth International Workshop on Foundations of Object-Oriented Languages


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.