Abstract is missing.
- A Scala library for testing student assignments on concurrent programmingMikaël Mayer, Ravichandhran Madhavan. 1-10 [doi]
- Reactive Async: expressive deterministic concurrencyPhilipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi. 11-20 [doi]
- RandIR: differential testing for embedded compilersGeorg Ofenbeck, Tiark Rompf, Markus Püschel. 21-30 [doi]
- SMT-based checking of predicate-qualified types for ScalaGeorg Stefan Schmid, Viktor Kuncak. 31-40 [doi]
- Reflections on LMS: exploring front-end alternativesTiark Rompf. 41-50 [doi]
- Implementing higher-kinded types in DottyMartin Odersky, Guillaume Martres, Dmitry Petrashko. 51-60 [doi]
- A generic algorithm for checking exhaustivity of pattern matching (short paper)Fengyun Liu. 61-64 [doi]
- A scalable infrastructure for teaching concepts of programming languages in Scala with WebLab: an experience reportTim van der Lippe, Thomas Smith, Daniël A. A. Pelsmaeker, Eelco Visser. 65-74 [doi]
- SecureScala: Scala embedding of secure computationsMarkus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi. 75-84 [doi]
- Semantics-driven interoperability between Scala.js and JavaScriptSébastien Doeraene, Tobias Schlatter, Nicolas Stucki. 85-94 [doi]
- Scaps: type-directed API search for ScalaLukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker. 95-104 [doi]
- Building a modular static analysis framework in Scala (tool paper)Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover. 105-109 [doi]
- The sbt-rats parser generator plugin for Scala (tool paper)Anthony M. Sloane, Franck Cassez, Scott Buckley. 110-113 [doi]