default search action
8th SCALA@SPLASH 2017: Vancouver, BC, Canada
- Heather Miller, Philipp Haller, Ondrej Lhoták:
Proceedings of the 8th ACM SIGPLAN International Symposium on Scala, SCALA@SPLASH 2017, Vancouver, BC, Canada, October 22-23, 2017. ACM 2017
Keynotes
- Reynold Xin:
Spark and Scala (keynote). 1
Papers
- Abel Nieto:
Towards algorithmic typing for DOT (short paper). 2-7 - Adelbert Chang:
The limitations of type classes as subtyped implicits (short paper). 8-12 - Leo Osvald, Tiark Rompf:
Rust-like borrowing with 2nd-class values (short paper). 13-17 - Nathaniel Nystrom:
A Scala framework for supercompilation. 18-28 - Aleksandar Prokopec, David Leopoldseder, Gilles Duboscq, Thomas Würthinger:
Making collection operations optimal with aggressive JIT compilation. 29-40 - Guillaume Martres:
Interactive development using the Dotty compiler (tool paper). 41-44 - Tongfei Chen:
Typesafe abstractions for tensor operations (short paper). 45-50 - Franck Cassez, Anthony M. Sloane:
ScalaSMT: satisfiability modulo theory in Scala (tool paper). 51-55 - Lionel Parreaux, Amir Shaikhha, Christoph E. Koch:
Squid: type-safe, hygienic, and reusable quasiquotes. 56-66 - Jonathan Immanuel Brachthäuser, Philipp Schuster:
Effekt: extensible algebraic effects in Scala (short paper). 67-72 - Lars Kroll, Paris Carbone, Seif Haridi:
Kompics Scala: narrowing the gap between algorithmic specification and executable code (short paper). 73-77
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.