ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic
Wed 8 Jul 2015 16:00 - 16:30 at Bohemia - Objects Chair(s): Kim Bruce

Combinations of structural and nominal object typing in systems such as Scala, Whiteoak, and Unity have focused on extending existing nominal, class-based systems with structural subtyping. The typical rules of nominal typing do not lend themselves to such an extension, resulting in major modifications. Adding object branding to an existing structural system integrates nominal and structural typing without excessively complicating the type system. We have implemented brand objects to explicitly type objects, using existing features of the structurally typed language Grace, along with a static type checker which treats the brands as nominal types. We demonstrate that the brands are useful in the existing implementation of Grace, and provide a formal model of the extension to the language.

Wed 8 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:00: Research Track - Objects at Bohemia
Chair(s): Kim BrucePomona College
research-track15:30 - 16:00
Joseph LeeCarnegie Mellon University, Jonathan AldrichCarnegie Mellon University, Troy ShawVictoria University of Wellington, Alex PotaninVictoria University of Wellington
research-track16:00 - 16:30
Timothy JonesVictoria University of Wellington, Michael HomerVictoria University of Wellington, James NobleVictoria University of Wellington
research-track16:30 - 17:00
Matthias KeilUniversity of Freiburg, Peter ThiemannUniversity of Freiburg