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.
Conference DayMon 18 JulDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30
|Are Ownership Types Reaching the World Yet?|
Patrick LamUniversity of Waterloo, CanadaFile Attached
|Kappa: Insights, Current Status and Future Work|
|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 WellingtonPre-print File Attached