• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 14 matches

• 2016
• 
  Sébastien Doeraene, Tobias Schlatter, Nicolas Stucki:
  Semantics-driven interoperability between Scala.js and JavaScript. SCALA@SPLASH 2016: 85-94
• 
  Philipp Haller, Simon Geries, Michael Eichberg, Guido Salvaneschi:
  Reactive Async: expressive deterministic concurrency. SCALA@SPLASH 2016: 11-20
• 
  Markus Hauck, Savvas Savvides, Patrick Eugster, Mira Mezini, Guido Salvaneschi:
  SecureScala: Scala embedding of secure computations. SCALA@SPLASH 2016: 75-84
• 
  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. SCALA@SPLASH 2016: 65-74
• 
  Fengyun Liu:
  A generic algorithm for checking exhaustivity of pattern matching (short paper). SCALA@SPLASH 2016: 61-64
• 
  Mikaël Mayer, Ravichandhran Madhavan:
  A Scala library for testing student assignments on concurrent programming. SCALA@SPLASH 2016: 1-10
• 
  Martin Odersky, Guillaume Martres, Dmitry Petrashko:
  Implementing higher-kinded types in Dotty. SCALA@SPLASH 2016: 51-60
• 
  Georg Ofenbeck, Tiark Rompf, Markus Püschel:
  RandIR: differential testing for embedded compilers. SCALA@SPLASH 2016: 21-30
• 
  Tiark Rompf:
  Reflections on LMS: exploring front-end alternatives. SCALA@SPLASH 2016: 41-50
• 
  Georg Stefan Schmid, Viktor Kuncak:
  SMT-based checking of predicate-qualified types for Scala. SCALA@SPLASH 2016: 31-40
• 
  Anthony M. Sloane, Franck Cassez, Scott Buckley:
  The sbt-rats parser generator plugin for Scala (tool paper). SCALA@SPLASH 2016: 110-113
• 
  Quentin Stiévenart, Jens Nicolay, Wolfgang De Meuter, Coen De Roover:
  Building a modular static analysis framework in Scala (tool paper). SCALA@SPLASH 2016: 105-109
• 
  Lukas Wegmann, Farhad Mehta, Peter Sommerlad, Mirko Stocker:
  Scaps: type-directed API search for Scala. SCALA@SPLASH 2016: 95-104
• 
  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 [contents]