SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

This program is tentative and subject to change.

Sun 17 Oct 2021 09:00 - 09:40 at Zurich E - Session 1

We describe a scheme for reflecting exceptions as capabilities in the Scala type system that keeps notational overhead to a minimum and avoids well-known problems with Java’s checked exceptions framework. The scheme makes exceptions safer but not fully safe since the capability for throwing an exception may still yet escape its enclosing try block. To address this limitation, we also propose a type system which prevents capabilities from escaping.

This program is tentative and subject to change.

Sun 17 Oct

Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20
Session 1Scala at Zurich E
09:00
40m
Full-paper
Safer Exceptions for Scala
Scala
Martin Odersky EPFL, Aleksander Boruch-Gruszecki EPFL, Jonathan Immanuel Brachthäuser EPFL, Edward Lee University of Waterloo, Ondřej Lhoták University of Waterloo
09:40
40m
Full-paper
Pathless Scala: a calculus for the rest of Scala
Scala