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,

http://ecee.colorado.edu/~siek/FOOL2010/

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)

10:00-10:30
Morning Break

10:30-12:00
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

12:00-1:30
Lunch

2:00-3:00
Invited Talk II

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

3:00-3:30
Afternoon Break

3:30-5:00
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.