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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 4

Author(s):

Nathaniel Nystrom

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 ◽

Cited By ~ 4

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 ◽

Cited By ~ 1

Author(s):

Tongfei Chen

Keyword(s):

Short Paper

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 ◽

Cited By ~ 3

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 ◽

Cited By ~ 1

Author(s):

Adelbert Chang

Keyword(s):

Short Paper ◽

Type Classes

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 ◽

Cited By ~ 9

Author(s):

Aleksandar Prokopec ◽

David Leopoldseder ◽

Gilles Duboscq ◽

Thomas Würthinger

Keyword(s):

Jit Compilation

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 ◽

Cited By ~ 3

Author(s):

Lars Kroll ◽

Paris Carbone ◽

Seif Haridi

Keyword(s):

Short Paper ◽

Executable Code

Download Full-text

Rust-like borrowing with 2nd-class values (short paper)

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

10.1145/3136000.3136010 ◽

2017 ◽

Author(s):

Leo Osvald ◽

Tiark Rompf

Keyword(s):

Short Paper

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Spark and Scala (keynote)

A Scala framework for supercompilation

Squid: type-safe, hygienic, and reusable quasiquotes

Typesafe abstractions for tensor operations (short paper)

ScalaSMT: satisfiability modulo theory in Scala (tool paper)

Interactive development using the Dotty compiler (tool paper)

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

Making collection operations optimal with aggressive JIT compilation

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

Rust-like borrowing with 2nd-class values (short paper)

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