SCALA 2017
8th ACM SIGPLAN International Scala Symposium (SCALA 2017)

Title Page

Article: scala17foreword-fm000-p (type: Frontmatter) doi:

Message from the Chairs

Article: scala17foreword-fm001-p (type: Frontmatter) doi:

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

Publisher's Version Article: scala17key-key1-p (type: Abstract) doi:10.1145/3136000.3148042

Towards Algorithmic Typing for DOT (Short Paper)
Abel Nieto
(University of Waterloo, Canada)

Article: scala17main-scala17main11-p (type: Full Paper) doi:

The Limitations of Type Classes as Subtyped Implicits (Short Paper)
Adelbert Chang

Article: scala17main-scala17main19-p (type: Full Paper) doi:

Rust-Like Borrowing with 2nd-Class Values (Short Paper)
Leo Osvald and Tiark Rompf
(Purdue University, USA)

Article: scala17main-scala17main27-p (type: Full Paper) doi:

A Scala Framework for Supercompilation
Nathaniel Nystrom
(University of Lugano, Switzerland)

Article: scala17main-scala17main29-p (type: Full Paper) doi:

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: scala17main-scala17main10-p (type: Full Paper) doi:

Interactive Development using the Dotty Compiler (Tool Paper)
Guillaume Martres
(EPFL, Switzerland)

Article: scala17main-scala17main30-p (type: Full Paper) doi:

Typesafe Abstractions for Tensor Operations (Short Paper)
Tongfei Chen
(Johns Hopkins University, USA)

Article: scala17main-scala17main7-p (type: Full Paper) doi:

ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)
Franck Cassez and Anthony M. Sloane
(Macquarie University, Australia)

Article: scala17main-scala17main14-p (type: Full Paper) doi:

Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
Lionel Parreaux, Amir Shaikhha, and Christoph E. Koch
(EPFL, Switzerland)

Article: scala17main-scala17main16-p (type: Full Paper) doi:

Effekt: Extensible Algebraic Effects in Scala (Short Paper)
Jonathan Immanuel Brachthäuser and Philipp Schuster
(University of Tübingen, Germany)

Article: scala17main-scala17main20-p (type: Full Paper) doi:

Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)
Lars Kroll, Paris Carbone, and Seif Haridi
(KTH, Sweden)

Article: scala17main-scala17main25-p (type: Full Paper) doi: