2008 International Workshop on
Foundations of Object-Oriented Languages
(FOOL'08)

Sponsored by ACM SIGPLAN

Sunday, 13 January 2008
San Francisco, California

Accepted papers

The following papers have been accepted for presentation at FOOL'08. In addition, we anticipate one or two additional invited talks.

• OOMatch: Pattern Matching as Dispatch in Java
  Adam Richard and Ondrej Lhotak
• Type Safe Nondeterminism - A Formal Semantics of Java Threads
  Andreas Lochbihler
• A Unified Framework for Verification Techniques for Object Invariants
  Sophia Drossopoulou, Adrian Francalanza and Peter Mueller
• Safe Type-level Abstraction in Scala
  Adriaan Moors, Frank Piessens and Martin Odersky
• A Step-indexed Semantics of Imperative Objects
  Catalin Hritcu and Jan Schwinghammer
• Computational Soundness and Adequacy for Typed Object Calculus
  Johan Glimming
• Ownership Type Systems and Dependent Classes
  Werner Dietl and Peter Mueller
• A Theory of Linear Objects
  Matthew Kehrt and Jonathan Aldrich