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

• 2015
• 
  Denis Firsov, Tarmo Uustalu:
  Dependently typed programming with finite sets. WGP@ICFP 2015: 33-44
• 
  Thomas Bracht Laumann Jespersen, Philip Munksgaard, Ken Friis Larsen:
  Session types for Rust. WGP@ICFP 2015: 13-22
• 
  Alp Mestanogullari, Sönke Hahn, Julian K. Arni, Andres Löh:
  Type-level web APIs with Servant: an exercise in domain-specific generic programming. WGP@ICFP 2015: 1-12
• 
  Ernesto Rodríguez, Wouter Swierstra:
  Datatype generic programming in F#. WGP@ICFP 2015: 23-32
• 
  Patrick Bahr, Sebastian Erdweg:
  Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015. ACM 2015, ISBN 978-1-4503-3810-3 [contents]
• 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]
• 2013
• 
  Patrick Bahr, Laurence E. Day:
  Programming macro tree transducers. WGP@ICFP 2013: 61-72
• 
  Nikolaos Bezirgiannis, Johan Jeuring, Sean Leather:
  Usage of generic programming on hackage: experience report. WGP@ICFP 2013: 47-52
• 
  Jeroen Bransen, José Pedro Magalhães:
  Generic representations of tree transformations. WGP@ICFP 2013: 73-84
• 
  David Raymond Christiansen:
  Dependent type providers. WGP@ICFP 2013: 25-34
• 
  Denis V. Dubrov:
  N queens problem: a metaprogramming stress test for the compiler. WGP@ICFP 2013: 35-46
• 
  Thomas Given-Wilson, Freeman Huang, Barry Jay:
  Multi-polymorphic programming in bondi. WGP@ICFP 2013: 53-60
• 
  Ralf Hinze, Nicolas Wu:
  Histo- and dynamorphisms revisited. WGP@ICFP 2013: 1-12
• 
  Steven Keuchel, Tom Schrijvers:
  Generic datatypes à la carte. WGP@ICFP 2013: 13-24
• 
  Jacques Carette, Jeremiah Willcock:
  Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, WGP 2013, Boston, Massachusetts, USA, September 28, 2013. ACM 2013, ISBN 978-1-4503-2389-5 [contents]
• 2012
• 
  Nicolas Frisby, Andy Gill, Perry Alexander:
  A pattern for almost homomorphic functions. WGP@ICFP 2012: 1-12
• 
  Seyed H. Haeri, Sibylle Schupp, Jonathan J. Hüser:
  Using functional languages to facilitate C++ metaprogramming. WGP@ICFP 2012: 33-44
• 
  Ralf Hinze, Daniel W. H. James, Thomas Harper, Nicolas Wu, José Pedro Magalhães:
  Sorting with bialgebras and distributive laws. WGP@ICFP 2012: 69-80
• 
  Jaakko Järvi, Magne Haveraaen, John Freeman, Mat Marcus:
  Expressing multi-way data-flow constraint systems as a commutative monoid makes many of their properties obvious. WGP@ICFP 2012: 25-32
• 
  Steven Keuchel, Johan Jeuring:
  Generic conversions of abstract syntax representations. WGP@ICFP 2012: 57-68
• 
  Sam Lindley:
  Embedding F. WGP@ICFP 2012: 45-56

skipping 49 more matches