• 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 15 matches

• 2011
• 
  Cláudio Amaral, Mário Florido, Patrik Jansson:
  Interfacing dynamically typed languages and the why tool: reasoning about lists and tuples. Erlang Workshop 2011: 92-93
• 
  Stavros Aronis, Konstantinos Sagonas:
  Typed callbacks for more robust behaviours. Erlang Workshop 2011: 23-29
• 
  Thomas Arts, Laura M. Castro:
  Model-based testing of data types with side effects. Erlang Workshop 2011: 30-38
• 
  Thomas Arts, John Hughes, Ulf Norell, Nicholas Smallbone, Hans Svensson:
  Accelerating race condition detection through procrastination. Erlang Workshop 2011: 14-22
• 
  Thomas Arts, Pablo Lamela Seijas, Simon J. Thompson:
  Extracting QuickCheck specifications from EUnit test cases. Erlang Workshop 2011: 62-71
• 
  Trevor Bain, Patrick Campbell, Jonas Karlsson:
  Modeling growth and dynamics of neural networks via message passing in Erlang: neural models have a natural home in message passing functional programming languages. Erlang Workshop 2011: 94-97
• 
  Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato:
  Implementation of sequence BDDs in Erlang. Erlang Workshop 2011: 90-91
• 
  Alkis Gotovos, Maria Christakis, Konstantinos Sagonas:
  Test-driven development of concurrent programs using concuerror. Erlang Workshop 2011: 51-61
• 
  R. John M. Hughes, Hans Bolinder:
  Testing a database for race conditions with QuickCheck. Erlang Workshop 2011: 72-77
• 
  Prashanth Mundkur, Ville H. Tuulos, Jared Flatow:
  Disco: a computing platform for large-scale data analytics. Erlang Workshop 2011: 84-89
• 
  Patrik Nyblom:
  Erlang ETS tables and software transactional memory: how transactions make ETS tables more like ordinary actors. Erlang Workshop 2011: 2-13
• 
  Manolis Papadakis, Konstantinos Sagonas:
  A PropEr integration of types and function specifications with property-based testing. Erlang Workshop 2011: 39-50
• 
  Kenji Rikitake:
  SFMT pseudo random number generator for Erlang. Erlang Workshop 2011: 78-83
• 
  Steve Vinoski:
  A decade of Yaws. Erlang Workshop 2011: 1
• 
  Kenji Rikitake, Erik Stenman:
  Proceedings of the 10th ACM SIGPLAN workshop on Erlang, Tokyo, Japan, September 23, 2011. ACM 2011, ISBN 978-1-4503-0859-5 [contents]