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

TOTAL DOCUMENTS

12

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By ACM Press

9781450355292

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Spark and Scala (keynote)

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

10.1145/3136000.3148042 ◽

2017 ◽

Author(s):

Reynold Xin

Download Full-text

A Scala framework for supercompilation

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

10.1145/3136000.3136011 ◽

2017 ◽

Author(s):

Nathaniel Nystrom

Download Full-text

ScalaSMT: satisfiability modulo theory in Scala (tool paper)

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

10.1145/3136000.3136004 ◽

2017 ◽

Author(s):

Franck Cassez ◽

Anthony M. Sloane

Keyword(s):

Satisfiability Modulo Theory

Download Full-text

Interactive development using the Dotty compiler (tool paper)

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

10.1145/3136000.3136012 ◽

2017 ◽

Author(s):

Guillaume Martres

Download Full-text

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

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

10.1145/3136000.3136006 ◽

2017 ◽

Author(s):

Adelbert Chang

Keyword(s):

Short Paper ◽

Download Full-text

Squid: type-safe, hygienic, and reusable quasiquotes

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

10.1145/3136000.3136005 ◽

2017 ◽

Author(s):

Lionel Parreaux ◽

Amir Shaikhha ◽

Christoph E. Koch

Download Full-text

Typesafe abstractions for tensor operations (short paper)

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

10.1145/3136000.3136001 ◽

2017 ◽

Author(s):

Tongfei Chen

Keyword(s):

Download Full-text

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

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

10.1145/3136000.3136009 ◽

2017 ◽

Author(s):

Lars Kroll ◽

Paris Carbone ◽

Seif Haridi

Keyword(s):

Short Paper ◽

Executable Code

Download Full-text

Making collection operations optimal with aggressive JIT compilation

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

10.1145/3136000.3136002 ◽

2017 ◽

Author(s):

Aleksandar Prokopec ◽

David Leopoldseder ◽

Gilles Duboscq ◽

Thomas Würthinger

Keyword(s):

Jit Compilation

Download Full-text

Towards algorithmic typing for DOT (short paper)

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

10.1145/3136000.3136003 ◽

2017 ◽

Author(s):

Abel Nieto

Keyword(s):

Download Full-text