2010 International Workshop on
Foundations of Object-Oriented Languages
(FOOL '10)

Sponsored by ACM SIGPLAN

Sunday, 17 October 2010
Reno, Nevada, USA
During the workshop days of SPLASH/OOPSLA,


Workshop Program and Proceedings

09:00-10:00 Invited Talk I

Concurrent Revisions: a novel approach to concurrency with deterministic semantics
Daan Leijen (Microsoft Research)

Morning Break

Paper Session I: Composition, Decomposition, and Ownership

DeepFJig - Modular composition of nested classes
Andrea Corradi, Marco Servetto, and Elena Zucca

Lightweight Nested Inheritance in Layer Decomposition
Tetsuo Kamina and Tetsuo Tamai

Mojojojo - More Ownership for Multiple Owners
Paley Li, Nicholas Cameron, and James Noble


Invited Talk II

Semantics Engineering: more than just Theorem Proving
Robby Findler (Northwestern University & PLT)

Afternoon Break

Paper Session II: Scripting and Pattern Matching

Interoperability in a Scripted World: Putting Inheritance & Prototypes Together
Kathryn E. Gray

Type Inference for Scripting languages with Implicit Extension
Tian Zhao

Adding Pattern Matching to Existing Object-Oriented Languages
Sukyoung Ryu, Changhee Park and Guy L. Steele Jr.