More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

7. SCALA@SPLASH 2016: Amsterdam, Netherlands

> Home > Conferences and Workshops > SCALA
> Home > Conferences and Workshops > SPLASH

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/scala/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/2016
Aggelos Biboudis, Manohar Jonnalagedda, Sandro Stucki, Vlad Ureche:
Proceedings of the 7th ACM SIGPLAN Symposium on Scala, SCALA@SPLASH 2016, Amsterdam, Netherlands, October 30 - November 4, 2016. ACM 2016, ISBN 978-1-4503-4648-1

Papers

- view
  authority control:
- export record
  dblp key:
  - conf/scala/MayerM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/MayerM16
Mikaël Mayer, Ravichandhran Madhavan:
A Scala library for testing student assignments on concurrent programming. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/scala/HallerGES16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/HallerGES16
Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi:
Reactive Async: expressive deterministic concurrency. 11-20
- view
  authority control:
- export record
  dblp key:
  - conf/scala/OfenbeckRP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/OfenbeckRP16
Georg Ofenbeck, Tiark Rompf, Markus Püschel:
RandIR: differential testing for embedded compilers. 21-30
- view
  authority control:
- export record
  dblp key:
  - conf/scala/SchmidK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/SchmidK16
Georg Stefan Schmid, Viktor Kuncak:
SMT-based checking of predicate-qualified types for Scala. 31-40
- view
  authority control:
- export record
  dblp key:
  - conf/scala/Rompf16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/Rompf16
Tiark Rompf:
Reflections on LMS: exploring front-end alternatives. 41-50
- view
  authority control:
- export record
  dblp key:
  - conf/scala/OderskyMP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/OderskyMP16
Martin Odersky, Guillaume Martres, Dmitry Petrashko:
Implementing higher-kinded types in Dotty. 51-60
- view
  authority control:
- export record
  dblp key:
  - conf/scala/Liu16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/Liu16
Fengyun Liu:
A generic algorithm for checking exhaustivity of pattern matching (short paper). 61-64
- view
  authority control:
- export record
  dblp key:
  - conf/scala/LippeSPV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/LippeSPV16
Tim van der Lippe, Thomas Smith, Daniël A. A. Pelsmaeker, Eelco Visser:
A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: an experience report. 65-74
- view
  authority control:
- export record
  dblp key:
  - conf/scala/HauckSEMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/HauckSEMS16
Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi:
SecureScala: Scala embedding of secure computations. 75-84
- view
  authority control:
- export record
  dblp key:
  - conf/scala/DoeraeneSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/DoeraeneSS16
Sébastien Doeraene, Tobias Schlatter, Nicolas Stucki:
Semantics-driven interoperability between Scala.js and JavaScript. 85-94
- view
  authority control:
- export record
  dblp key:
  - conf/scala/WegmannMSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/WegmannMSS16
Lukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker:
Scaps: type-directed API search for Scala. 95-104

Tool Demonstrations

- view
  authority control:
- export record
  dblp key:
  - conf/scala/StievenartNMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/StievenartNMR16
Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover:
Building a modular static analysis framework in Scala (tool paper). 105-109
- view
  authority control:
- export record
  dblp key:
  - conf/scala/SloaneCB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/SloaneCB16
Anthony M. Sloane, Franck Cassez, Scott Buckley:
The sbt-rats parser generator plugin for Scala (tool paper). 110-113

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.