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

In 2011, Wrigstad and Clarke asked whether ownership types are ready for the world. A key open question about ownership types remains whether they are usable in practice. Recent years have seen a number of new programming languages; Rust is most notable for including an ownership system as a key feature, but other new and revised languages (even C++!) have related features which may provide some of the same benefits. In this talk, I’ll investigate support for ownership and related features in these languages and programmers’ acceptance of these features.

Slides (lam-slides.pdf)995KiB

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