Abstract is missing.
- Spark and Scala (keynote)Reynold Xin. 1 [doi]
- Towards algorithmic typing for DOT (short paper)Abel Nieto. 2-7 [doi]
- The limitations of type classes as subtyped implicits (short paper)Adelbert Chang. 8-12 [doi]
- Rust-like borrowing with 2nd-class values (short paper)Leo Osvald, Tiark Rompf. 13-17 [doi]
- A Scala framework for supercompilationNathaniel Nystrom. 18-28 [doi]
- Making collection operations optimal with aggressive JIT compilationAleksandar Prokopec, David Leopoldseder, Gilles Duboscq, Thomas Würthinger. 29-40 [doi]
- Interactive development using the Dotty compiler (tool paper)Guillaume Martres. 41-44 [doi]
- Typesafe abstractions for tensor operations (short paper)Tongfei Chen. 45-50 [doi]
- ScalaSMT: satisfiability modulo theory in Scala (tool paper)Franck Cassez, Anthony M. Sloane. 51-55 [doi]
- Squid: type-safe, hygienic, and reusable quasiquotesLionel Parreaux, Amir Shaikhha, Christoph E. Koch. 56-66 [doi]
- Effekt: extensible algebraic effects in Scala (short paper)Jonathan Immanuel Brachthäuser, Philipp Schuster. 67-72 [doi]
- Kompics Scala: narrowing the gap between algorithmic specification and executable code (short paper)Lars Kroll, Paris Carbone, Seif Haridi. 73-77 [doi]