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

• 2006
• 
  Martín Abadi:
  Access control in a core calculus of dependency. ICFP 2006: 263-273
• 
  Richard S. Bird:
  Fifteen years of functional pearls. ICFP 2006: 215
• 
  Matthias Blume, Umut A. Acar, Wonseok Chae:
  Extensible programming with first-class cases. ICFP 2006: 239-250
• 
  Björn Bringert, Aarne Ranta:
  A pattern for almost compositional functions. ICFP 2006: 216-226
• 
  Adam Chlipala:
  Modular development of certified program verifiers with a proof assistant. ICFP 2006: 160-171
• 
  Pierre-Malo Deniélou, James J. Leifer:
  Abstraction preservation and subtyping in distributed languages. ICFP 2006: 286-297
• 
  Kevin Donnelly, Matthew Fluet:
  Transactional events. ICFP 2006: 124-135
• 
  Malcolm Dowse, Andrew Butterfield:
  Modelling deterministic concurrent I/O. ICFP 2006: 148-159
• 
  R. Kent Dybvig:
  The development of Chez Scheme. ICFP 2006: 1-12
• 
  David Fisher, Olin Shivers:
  Static analysis for syntax objects. ICFP 2006: 111-121
• 
  Alain Frisch:
  OCaml + XDuce. ICFP 2006: 192-200
• 
  Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov:
  Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. ICFP 2006: 172-183
• 
  Simon L. Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Geoffrey Washburn:
  Simple unification-based type inference for GADTs. ICFP 2006: 50-61
• 
  Shin-ya Katsumata, Susumu Nishimura:
  Algebraic fusion of functions with an accumulating parameter and its improvement. ICFP 2006: 227-238
• 
  Shinya Kawanaka, Haruo Hosoya:
  biXid: a bidirectional transformation language for XML. ICFP 2006: 201-214
• 
  Oleg Kiselyov, Chung-chieh Shan, Amr Sabry:
  Delimited dynamic binding. ICFP 2006: 26-37
• 
  Chuan-Kai Lin:
  Programming monads operationally with Unimo. ICFP 2006: 274-285
• 
  Matthew Might, Olin Shivers:
  Improving flow analyses via GammaCFA: abstract garbage collection and counting. ICFP 2006: 13-25
• 
  Keiko Nakata, Jacques Garrigue:
  Recursive modules for programming. ICFP 2006: 74-86
• 
  Aleksandar Nanevski, Greg Morrisett, Lars Birkedal:
  Polymorphism and separation in hoare type theory. ICFP 2006: 62-73
• 
  Scott Owens, Matthew Flatt:
  From structures and functors to modules and units. ICFP 2006: 87-98
• 
  Andreas Rossberg:
  The missing link: dynamic components for ML. ICFP 2006: 99-110
• 
  Grigore Rosu:
  Equality of streams is a Pi0 over 2-complete problem. ICFP 2006: 184-191
• 
  Marc Shapiro:
  Practical proofs of concurrent programs. ICFP 2006: 123
• 
  Dimitrios Vytiniotis, Stephanie Weirich, Simon L. Peyton Jones:
  Boxy types: inference for higher-rank types and impredicativity. ICFP 2006: 251-262
• 
  David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August:
  Static typing for a faulty lambda calculus. ICFP 2006: 38-49
• 
  Lukasz Ziarek, Philip Schatz, Suresh Jagannathan:
  Stabilizers: a modular checkpointing abstraction for concurrent functional programs. ICFP 2006: 136-147
• 
  John H. Reppy, Julia Lawall:
  Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006. ACM 2006, ISBN 1-59593-309-3 [contents]