SCALA@SPLASH

Keyphrases

Publications

2021

2020

2017

Reynold Xin
Spark and Scala (keynote). SCALA@SPLASH (2017)
Lionel Parreaux, Amir Shaikhha, Christoph E. Koch
Squid: type-safe, hygienic, and reusable quasiquotes. SCALA@SPLASH (2017)
Nathaniel Nystrom
A Scala framework for supercompilation. SCALA@SPLASH (2017)
Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, Thomas Würthinger
Making collection operations optimal with aggressive JIT compilation. SCALA@SPLASH (2017)
Leo Osvald, Tiark Rompf
Rust-like borrowing with 2nd-class values (short paper). SCALA@SPLASH (2017)
Jonathan Immanuel Brachthäuser, Philipp Schuster
Effekt: extensible algebraic effects in Scala (short paper). SCALA@SPLASH (2017)
Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017 SCALA@SPLASH (2017)
Lars Kroll, Paris Carbone, Seif Haridi
Kompics Scala: narrowing the gap between algorithmic specification and executable code (short paper). SCALA@SPLASH (2017)
Guillaume Martres
Interactive development using the Dotty compiler (tool paper). SCALA@SPLASH (2017)
Abel Nieto
Towards algorithmic typing for DOT (short paper). SCALA@SPLASH (2017)
Tongfei Chen
Typesafe abstractions for tensor operations (short paper). SCALA@SPLASH (2017)
Adelbert Chang
The limitations of type classes as subtyped implicits (short paper). SCALA@SPLASH (2017)
Franck Cassez, Anthony M. Sloane
ScalaSMT: satisfiability modulo theory in Scala (tool paper). SCALA@SPLASH (2017)

2016