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