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


Title Page
Message from the Chairs


Spark and Scala (Keynote)
Reynold Xin
(Databricks, USA)
Article Search


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

proc time: 1.03