SCALA 2017
8th ACM SIGPLAN International Scala Symposium (SCALA 2017)
Powered by
Conference Publishing Consulting

8th ACM SIGPLAN International Scala Symposium (SCALA 2017), October 22–23, 2017, Vancouver, BC, Canada

SCALA 2017 – Proceedings

Contents - Abstracts - Authors

Frontmatter

Title Page
Message from the Chairs

Keynotes

Spark and Scala (Keynote)
Reynold Xin
(Databricks, USA)
Publisher's Version

Papers

Towards Algorithmic Typing for DOT (Short Paper)
Abel Nieto
(University of Waterloo, Canada)
The Limitations of Type Classes as Subtyped Implicits (Short Paper)
Adelbert Chang
Rust-Like Borrowing with 2nd-Class Values (Short Paper)
Leo Osvald and Tiark Rompf ORCID logo
(Purdue University, USA)
A Scala Framework for Supercompilation
Nathaniel Nystrom
(University of Lugano, Switzerland)
Making Collection Operations Optimal with Aggressive JIT Compilation
Aleksandar Prokopec ORCID logo, David Leopoldseder, Gilles Duboscq, and Thomas Würthinger
(Oracle Labs, Switzerland; JKU Linz, Austria)
Interactive Development using the Dotty Compiler (Tool Paper)
Guillaume Martres
(EPFL, Switzerland)
Typesafe Abstractions for Tensor Operations (Short Paper)
Tongfei Chen
(Johns Hopkins University, USA)
ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)
Franck Cassez and Anthony M. Sloane
(Macquarie University, Australia)
Info
Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
Lionel Parreaux ORCID logo, Amir Shaikhha, and Christoph E. Koch
(EPFL, Switzerland)
Effekt: Extensible Algebraic Effects in Scala (Short Paper)
Jonathan Immanuel Brachthäuser ORCID logo and Philipp Schuster ORCID logo
(University of Tübingen, Germany)
Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)
Lars Kroll, Paris Carbone ORCID logo, and Seif Haridi
(KTH, Sweden)

proc time: 0.91