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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 17:30
Session 2IWACO at Quasimodo
16:00
30m
Talk
Are Ownership Types Reaching the World Yet?
IWACO
Patrick Lam University of Waterloo, Canada
File Attached
16:30
30m
Kappa: Insights, Current Status and Future Work
IWACO
Elias Castegren Uppsala University, Tobias Wrigstad Uppsala University
Pre-print
17:00
30m
Abstract Data Types in Object-Capability Systems
IWACO
James Noble Victoria University of Wellington, Sophia Drossopoulou Imperial College London, Mark Miller Google Inc., Toby Murray University of Melbourne, Alex Potanin Victoria University of Wellington
Pre-print File Attached