Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Mon 18 Jul 2016 17:00 - 17:30 at Quasimodo - Session 2

The distinctions between the two forms of procedural data abstraction — abstract data types and objects — are well known. An abstract data type provides an opaque type declaration, and an implementation that manipulates the modules of the abstract type, while an object uses procedural abstraction to hide an individual implementation. The object-capability model has been proposed to enable object-oriented programs to be written securely, and has been adopted by a number of practical languages including JavaScript, E, and Newspeak. This short paper addresses the question: how can we implement abstract data types in an object-capability language?

Slides (noble-slides.pdf)5.96MiB

Mon 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30: Session 2IWACO at Quasimodo
16:00 - 16:30
Are Ownership Types Reaching the World Yet?
Patrick LamUniversity of Waterloo, Canada
File Attached
16:30 - 17:00
Kappa: Insights, Current Status and Future Work
Elias CastegrenUppsala University, Tobias WrigstadUppsala University
17:00 - 17:30
Abstract Data Types in Object-Capability Systems
James NobleVictoria University of Wellington, Sophia DrossopoulouImperial College London, Mark MillerGoogle Inc., Toby MurrayUniversity of Melbourne, Alex PotaninVictoria University of Wellington
Pre-print File Attached