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)


@InProceedings{SCALA21p1, author = {Martin Odersky and Aleksander Boruch-Gruszecki and Jonathan Immanuel Brachthäuser and Edward Lee and Ondřej Lhoták}, title = {Safer Exceptions for Scala}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3486610.3486893}, year = {2021}, } 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)


@InProceedings{SCALA21p15, author = {Guillaume Martres}, title = {Pathless Scala: A Calculus for the Rest of Scala}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {15-14}, doi = {10.1145/3486610.3486894}, year = {2021}, } 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)


@InProceedings{SCALA21p29, author = {Yichen Xu and Aleksander Boruch-Gruszecki and Lionel Parreaux}, title = {Implementing Path-Dependent GADT Reasoning for Scala 3}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {29-28}, doi = {10.1145/3486610.3486892}, year = {2021}, } 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)


@InProceedings{SCALA21p43, author = {Fengyun Liu and Ondřej Lhoták and Enze Xing and Nguyen Cao Pham}, title = {Safe Object Initialization, Abstractly}, booktitle = {Proc.\ SCALA}, publisher = {ACM}, pages = {43-42}, doi = {10.1145/3486610.3486895}, year = {2021}, } Publisher's Version Article: splashws21scalamain-p6-p doi:10.1145/3486610.3486895

proc time: 0.01