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

• 1995
• 
  Kevin Hammond, David N. Turner, Patrick M. Sansom:
  Proceedings of the 1994 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, September 12-14, 1994. Workshops in Computing, Springer 1995, ISBN 978-3-540-19914-4 [contents]
• 1994
• 
  John O'Donnell, Gudula Rünger:
  A Case Study in Parallel Program Derivation: the Heat Equation Algorithm. Functional Programming 1994: 167-183
• 
  Alexander Bunkenburg, Sharon Flynn:
  Expression Refinement: Deriving Bresenham's Algorithm. Functional Programming 1994: 1-17
• 
  Kieran Clenaghan:
  Dynamic Algebra for Calculating Algorithms. Functional Programming 1994: 18-28
• 
  Luc Duponcheel, Erik Meijer:
  On the expressive power of Constructor Classes. Functional Programming 1994: 29-49
• 
  Sigbjørn Finne, Simon Peyton Jones:
  Programming Reactive Systems in Haskell. Functional Programming 1994: 50-65
• 
  Sandra P. Foubister, Colin Runciman:
  Techniques for Simplifying the Visualization of Graph Reduction. Functional Programming 1994: 66-77
• 
  Andrew D. Gordon:
  A Tutorial on Co-induction and Functional Programming. Functional Programming 1994: 78-95
• 
  Cordelia V. Hall, Simon L. Peyton Jones, Patrick M. Sansom:
  Unboxing using Specialisation. Functional Programming 1994: 96-110
• 
  Kevin Hammond, Hans-Wolfgang Loidl, Andrew S. Partridge:
  Improving Granularity in Parallel Functional Programs: A Graphical Winnowing System for Haskell. Functional Programming 1994: 111-126
• 
  Thomas Johnsson:
  Fold-Unfold Transformations on State Monadic Interpreters. Functional Programming 1994: 127-140
• 
  Simon Peyton Jones, André L. M. Santos:
  Compilation by Transformation in the Glasgow Haskell Compiler. Functional Programming 1994: 184-204
• 
  David J. King:
  Functional Binomial Queues. Functional Programming 1994: 141-150
• 
  Sava Mintchev:
  Mechanized Reasoning about Functional Programs. Functional Programming 1994: 151-166
• 
  Ian Poole, Derek Charleston:
  Experience of developing a cervical cytology scanning system using Gofer and Haskell. Functional Programming 1994: 205-217
• 
  Colin Runciman:
  Binding-time Improvement and Fold/Unfold Transformation. Functional Programming 1994: 218-230
• 
  Phil Trinder:
  Data Dependent Concurrency Control. Functional Programming 1994: 231-244
• 
  Malcolm Wallace, Colin Runciman:
  Type-Checked Message-Passing between Functional Processes. Functional Programming 1994: 245-254