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

• 2004
• 
  Philip W. Trinder, Greg Michaelson, Ricardo Pena:
  Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers. Lecture Notes in Computer Science 3145, Springer 2004, ISBN 3-540-23727-5 [contents]
• 2003
• 
  Peter Achten, Marko C. J. D. van Eekelen, Rinus Plasmeijer:
  Generic Graphical User Interfaces. IFL 2003: 152-167
• 
  Jost Berthold:
  Dynamic Chunking in Eden. IFL 2003: 102-117
• 
  Olaf Chitil, Dan McNeill, Colin Runciman:
  Lazy Assertions. IFL 2003: 1-19
• 
  Venkatesh Choppella:
  Polymorphic Type Reconstruction Using Type Equations. IFL 2003: 53-68
• 
  Clemens Grelck, Sven-Bodo Scholz, Kai Trojahner:
  With-Loop Scalarization - Merging Nested Array Operations. IFL 2003: 118-134
• 
  Rafael Martínez-Torres, Ricardo Pena:
  Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms. IFL 2003: 135-151
• 
  Ulf Norell, Patrik Jansson:
  Polytypic Programming in Haskell. IFL 2003: 168-184
• 
  André T. H. Pang, Manuel M. T. Chakravarty:
  Interfacing Haskell with Object-Oriented Languages. IFL 2003: 20-35
• 
  Clara Segura, Ricardo Pena:
  Correctness of Non-determinism Analyses in a Parallel-Functional Language. IFL 2003: 69-85
• 
  Pedro B. Vasconcelos, Kevin Hammond:
  Inferring Cost Equations for Recursive, Polymorphic and Higher-Order Functional Programs. IFL 2003: 86-101
• 
  Arjen van Weelden, Rinus Plasmeijer:
  A Functional Shell That Dynamically Combines Compiled Code. IFL 2003: 36-52