SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Sun 17 Oct 2021 09:40 - 10:00 at Zurich E - Session 1 Chair(s): Sébastien Doeraene

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.

Sun 17 Oct

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

09:00 - 10:20
Session 1Scala at Zurich E
Chair(s): Sébastien Doeraene EPFL, Switzerland
09:40
20m
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
DOI
10:00
20m
Full-paper
Pathless Scala: A Calculus for the Rest of Scala
Scala
DOI Pre-print File Attached