SCALA 2017- Proceedings of the 8th ACM SIGPLAN International Symposium on Scala

Full Citation in the ACM Digital Library

SESSION: Keynotes

Spark and Scala (keynote)

• Reynold Xin

SESSION: Papers

Towards algorithmic typing for DOT (short paper)

• Abel Nieto

The limitations of type classes as subtyped implicits (short paper)

• Adelbert Chang

Rust-like borrowing with 2nd-class values (short paper)

• Leo Osvald
• Tiark Rompf

A Scala framework for supercompilation

• Nathaniel Nystrom

Making collection operations optimal with aggressive JIT compilation

• Aleksandar Prokopec
• David Leopoldseder
• Gilles Duboscq
• Thomas Würthinger

Interactive development using the Dotty compiler (tool paper)

• Guillaume Martres

Typesafe abstractions for tensor operations (short paper)

• Tongfei Chen

ScalaSMT: satisfiability modulo theory in Scala (tool paper)

• Franck Cassez
• Anthony M. Sloane

Squid: type-safe, hygienic, and reusable quasiquotes

• Lionel Parreaux
• Amir Shaikhha
• Christoph E. Koch

Effekt: extensible algebraic effects in Scala (short paper)

• Jonathan Immanuel Brachthäuser
• Philipp Schuster

Kompics Scala: narrowing the gap between algorithmic specification and executable code (short paper)

• Lars Kroll
• Paris Carbone
• Seif Haridi