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

• 2004
• 
  Zena M. Ariola, Hugo Herbelin, Amr Sabry:
  A type-theoretic foundation of continuations and prompts. ICFP 2004: 40-53
• 
  Matthias Blume, David A. McAllester:
  A sound (and complete) model of contracts. ICFP 2004: 189-200
• 
  Niklas Broberg, Andreas Farre, Josef Svenningsson:
  Regular expression patterns. ICFP 2004: 67-78
• 
  Jan Christiansen, Frank Huch:
  Searching for deadlocks while debugging concurrent haskell programs. ICFP 2004: 28-39
• 
  Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani:
  Types for path correctness of XML queries. ICFP 2004: 126-137
• 
  Robert Bruce Findler, Matthew Flatt:
  Slideshow: functional presentations. ICFP 2004: 224-235
• 
  Matthew Fluet, J. Gregory Morrisett:
  Monadic regions. ICFP 2004: 103-114
• 
  Markus Forsberg, Aarne Ranta:
  Functional morphology. ICFP 2004: 213-223
• 
  Nadji Gauthier, François Pottier:
  Numbering matters: first-order canonical forms for second-order recursive types. ICFP 2004: 150-161
• 
  Paul Graham:
  Don't make the wrong mistakes: programming as debugging. ICFP 2004: 66
• 
  David Herman, Philippe Meunier:
  Improving the static analysis of embedded languages via partial evaluation. ICFP 2004: 16-27
• 
  Ralf Hinze:
  Generics for the masses. ICFP 2004: 236-243
• 
  Kohei Honda:
  From process logic to program logic. ICFP 2004: 163-174
• 
  Ralf Lämmel, Simon L. Peyton Jones:
  Scrap more boilerplate: reflection, zips, and generalised casts. ICFP 2004: 244-255
• 
  John Launchbury:
  Galois: high assurance software. ICFP 2004: 3
• 
  Simon Marlow, Simon L. Peyton Jones:
  Making a fast curry: push/enter vs. eval/apply for higher-order languages. ICFP 2004: 4-15
• 
  Peter Møller Neergaard, Harry G. Mairson:
  Types, potency, and idempotency: why nonlinearity and amnesia make a type system work. ICFP 2004: 138-149
• 
  Norman Ramsey, Simon L. Peyton Jones:
  The C - compiler infrastructure. ICFP 2004: 1
• 
  Dipanwita Sarkar, Oscar Waddell, R. Kent Dybvig:
  A nanopass infrastructure for compiler education. ICFP 2004: 201-212
• 
  Olin Shivers, David Fisher:
  Multi-return function call. ICFP 2004: 79-89
• 
  Andrew P. Tolmach, Sergio Antoy, Marius Nita:
  Implementing functional logic languages using multiple threads and stores. ICFP 2004: 90-102
• 
  Stephen Tse, Steve Zdancewic:
  Translating dependency into parametricity. ICFP 2004: 115-125
• 
  Mitchell Wand, Dale Vaillancourt:
  Relating models of backtracking. ICFP 2004: 54-65
• 
  Ulf T. Wiger:
  20 years of industrial functional programming. ICFP 2004: 162
• 
  Dachuan Yu, Zhong Shao:
  Verification of safety properties for concurrent assembly code. ICFP 2004: 175-188
• 
  Chris Okasaki, Kathleen Fisher:
  Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004. ACM 2004, ISBN 1-58113-905-5 [contents]