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

• 2014
• 
  Patrick Bahr:
  Composing and decomposing data types: a closed type families implementation of data types à la carte. WGP@ICFP 2014: 71-82
• 
  Larry Diehl, Tim Sheard:
  Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL. WGP@ICFP 2014: 3-14
• 
  Sam Lindley:
  Algebraic effects and effect handlers for idioms and arrows. WGP@ICFP 2014: 47-58
• 
  Bruno C. d. S. Oliveira:
  Functional programming, object-oriented programming and algebras! WGP@ICFP 2014: 1
• 
  Matthew Roberts, Anthony M. Sloane:
  Type inference for the spine view of data. WGP@ICFP 2014: 25-34
• 
  Alexander Slesarenko, Alexander Filippov, Alexey Romanov:
  First-class isomorphic specialization by staged evaluation. WGP@ICFP 2014: 35-46
• 
  Larisse Voufo, Marcin Zalewski, Andrew Lumsdaine:
  Scoping rules on a platter: a framework for understanding and specifying name binding. WGP@ICFP 2014: 59-70
• 
  Edsko de Vries, Andres Löh:
  True sums of products. WGP@ICFP 2014: 83-94
• 
  Thomas Williams, Pierre-Évariste Dagand, Didier Rémy:
  Ornaments in practice. WGP@ICFP 2014: 15-24
• 
  José Pedro Magalhães, Tiark Rompf:
  Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP 2014, Gothenburg, Sweden, August 31, 2014. ACM 2014, ISBN 978-1-4503-3042-8 [contents]