Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By ACM Press

9781450346481

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Building a modular static analysis framework in Scala (tool paper)

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016 ◽

10.1145/2998392.3001579 ◽

2016 ◽

Author(s):

Quentin Stiévenart ◽

Jens Nicolay ◽

Wolfgang De Meuter ◽

Coen De Roover

Keyword(s):

Static Analysis ◽

Analysis Framework

Download Full-text

Reflections on LMS: exploring front-end alternatives

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016 ◽

10.1145/2998392.2998399 ◽

2016 ◽

Author(s):

Tiark Rompf

Keyword(s):

Download Full-text

Scaps: type-directed API search for Scala

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016 ◽

10.1145/2998392.2998405 ◽

2016 ◽

Author(s):

Lukas Wegmann ◽

Farhad Mehta ◽

Peter Sommerlad ◽

Mirko Stocker

Download Full-text

Semantics-driven interoperability between Scala.js and JavaScript

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016 ◽

10.1145/2998392.2998404 ◽

2016 ◽

Author(s):

Sébastien Doeraene ◽

Tobias Schlatter ◽

Nicolas Stucki

Download Full-text

Implementing higher-kinded types in Dotty

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016 ◽

10.1145/2998392.2998400 ◽

2016 ◽

Author(s):

Martin Odersky ◽

Guillaume Martres ◽

Dmitry Petrashko

Download Full-text

A Scala library for testing student assignments on concurrent programming

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016 ◽

10.1145/2998392.2998395 ◽

2016 ◽

Author(s):

Mikaël Mayer ◽

Ravichandhran Madhavan

Keyword(s):

Concurrent Programming

Download Full-text

A generic algorithm for checking exhaustivity of pattern matching (short paper)

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016 ◽

10.1145/2998392.2998401 ◽

2016 ◽

Author(s):

Fengyun Liu

Keyword(s):

Pattern Matching ◽

Short Paper ◽

Generic Algorithm

Download Full-text

RandIR: differential testing for embedded compilers

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016 ◽

10.1145/2998392.2998397 ◽

2016 ◽

Author(s):

Georg Ofenbeck ◽

Tiark Rompf ◽

Markus Püschel

Download Full-text

SMT-based checking of predicate-qualified types for Scala

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016 ◽

10.1145/2998392.2998398 ◽

2016 ◽

Author(s):

Georg Stefan Schmid ◽

Viktor Kuncak

Download Full-text

Reactive Async: expressive deterministic concurrency

Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala - SCALA 2016 ◽

10.1145/2998392.2998396 ◽

2016 ◽

Author(s):

Philipp Haller ◽

Simon Geries ◽

Michael Eichberg ◽

Guido Salvaneschi

Download Full-text