SPLASH Workshop/Symposium Events 2021
2021 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Events 2021)
Powered by
Conference Publishing Consulting
12th ACM SIGPLAN International Scala Symposium (SCALA 2021), October 17, 2021, Chicago, IL, USA

SCALA 2021 – Proceedings

 Contents - Abstracts - Authors

12th ACM SIGPLAN International Scala Symposium (SCALA 2021)

Frontmatter

Title Page
Welcome from the Chairs
SCALA 2021 Organization

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
Pathless Scala: A Calculus for the Rest of Scala
Guillaume Martres
(EPFL, Switzerland)
Publisher's Version
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
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

proc time: 1.11