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 Article Search

Papers

Towards Algorithmic Typing for DOT (Short Paper)
Abel Nieto
(University of Waterloo, Canada)
Publisher's Version Article Search
The Limitations of Type Classes as Subtyped Implicits (Short Paper)
Adelbert Chang
Publisher's Version Article Search
Rust-Like Borrowing with 2nd-Class Values (Short Paper)
Leo Osvald and Tiark Rompf
(Purdue University, USA)
Publisher's Version Article Search
A Scala Framework for Supercompilation
Nathaniel Nystrom
(University of Lugano, Switzerland)
Publisher's Version 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)
Publisher's Version Article Search
Interactive Development using the Dotty Compiler (Tool Paper)
Guillaume Martres
(EPFL, Switzerland)
Publisher's Version Article Search
Typesafe Abstractions for Tensor Operations (Short Paper)
Tongfei Chen
(Johns Hopkins University, USA)
Publisher's Version Article Search
ScalaSMT: Satisfiability Modulo Theory in Scala (Tool Paper)
Franck Cassez and Anthony M. Sloane
(Macquarie University, Australia)
Publisher's Version Article Search Info
Squid: Type-Safe, Hygienic, and Reusable Quasiquotes
Lionel Parreaux, Amir Shaikhha, and Christoph E. Koch
(EPFL, Switzerland)
Publisher's Version Article Search
Effekt: Extensible Algebraic Effects in Scala (Short Paper)
Jonathan Immanuel Brachthäuser and Philipp Schuster
(University of Tübingen, Germany)
Publisher's Version Article Search
Kompics Scala: Narrowing the Gap between Algorithmic Specification and Executable Code (Short Paper)
Lars Kroll, Paris Carbone, and Seif Haridi
(KTH, Sweden)
Publisher's Version Article Search

proc time: 0.1