SCALA 2021 – Proceedings

12th ACM SIGPLAN International Scala Symposium (SCALA 2021)

Frontmatter

Papers

Safer Exceptions for Scala
Martin Odersky, Aleksander Boruch-Gruszecki, Jonathan Immanuel Brachthäuser, Edward Lee, and Ondřej Lhoták
(EPFL, Switzerland; University of Waterloo, Canada)

Publisher's Version Article: splashws21scalamain-p4-p doi:10.1145/3486610.3486893

Pathless Scala: A Calculus for the Rest of Scala
Guillaume Martres
(EPFL, Switzerland)

Publisher's Version Article: splashws21scalamain-p5-p doi:10.1145/3486610.3486894

Implementing Path-Dependent GADT Reasoning for Scala 3
Yichen Xu, Aleksander Boruch-Gruszecki, and Lionel Parreaux
(Beijing University of Posts and Telecommunications, China; EPFL, Switzerland; Hong Kong University of Science and Technology, China)

Publisher's Version Article: splashws21scalamain-p1-p doi:10.1145/3486610.3486892

Safe Object Initialization, Abstractly
Fengyun Liu, Ondřej Lhoták, Enze Xing, and Nguyen Cao Pham
(Oracle Labs, Switzerland; University of Waterloo, Canada)

Publisher's Version Article: splashws21scalamain-p6-p doi:10.1145/3486610.3486895

proc time: 0.01