SPLASH 2014 (series) / FOOL (series) /
FOOL Program
This is the FOOL program - see the full program for SPLASH 2014 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Mon 20 OctDisplayed time zone: Tijuana, Baja California change
Mon 20 Oct
Displayed time zone: Tijuana, Baja California change
08:30 - 10:00 | Welcome, Introductions, DiscussionFOOL at Salon G Chair(s): Marco Servetto Victoria University of Wellington | ||
08:30 90mOther | Informal Group Discussion FOOL | ||
10:30 - 12:00 | |||
10:30 30mTalk | Program Equivalence through Trace Equivalence FOOL File Attached | ||
11:00 30mTalk | The Problem of Structural Type Tests in a Gradual-Typed Language FOOL John Boyland University of Wisconsin, Milwaukee File Attached | ||
11:30 30mTalk | Managing Gradual Typing with Message-Safety in Dart FOOL File Attached | ||
13:30 - 15:00 | FOOF (Future of Object-Oriented Foundations)FOOL at Salon G Chair(s): Marco Servetto Victoria University of Wellington | ||
13:30 44mTalk | The Success, Failure, and Future of Distributed Objects FOOL File Attached | ||
14:15 45mTalk | A Simple, Symmetric, Subjective Foundation for Object-, Aspect- and Context-Oriented Programming FOOL Harold Ossher IBM Research, David Ungar IBM Research, Doug Kimelman IBM Research, I: James Noble Victoria University of Wellington File Attached | ||
15:30 - 17:00 | |||
15:30 90mTalk | Extensibilty for the masses FOOL William Cook UT Austin File Attached | ||