


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














