2007 International Workshop on
Foundations and Developments of Object-Oriented Languages
(FOOL/WOOD '07)

Sponsored by ACM SIGPLAN

Saturday, 20 January 2007
Nice, France

Accepted papers

The following papers have been accepted for presentation at FOOL/WOOD '07. In addition, we anticipate two additional invited talks.

• Formalizing and Extending C# Type Inference
  Gavin Bierman

• Generic Universe Types
  Werner Dietl, Sophia Drossopoulou and Peter Müller

• Variant Path Types for Scalable Extensibility
  Atsushi Igarashi and Mirko Viroli

• On Decidability of Nominal Subtyping with Variance
  Andrew Kennedy and Benjamin Pierce

• Reasoning About Class Behavior
  Vasileios Koutavas and Mitchell Wand

• Combining Structural Subtyping and External Dispatch
  Donna Malayeri and Jonathan Aldrich

• Fine-Grained Api Evolution for Method Deprecation and Anti-Deprecation
  S. Alexander Spoon

• LazyJ: Seamless Lazy Evaluation in Java
  Alessandro Warth