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

• 2019
• 
  Jan Christiansen, Sandra Dylus, Niels Bunkenburg:
  Verifying effectful Haskell programs in Coq. Haskell@ICFP 2019: 125-138
• 
  Dominique Devriese:
  Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study. Haskell@ICFP 2019: 1-14
• 
  Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones:
  Making a faster Curry with extensional types. Haskell@ICFP 2019: 58-70
• 
  Anton Ekblad:
  Scoping monadic relational database queries. Haskell@ICFP 2019: 114-124
• 
  Sebastian Ertel, Justus Adam, Norman A. Rink, Andrés Goens, Jerónimo Castrillón:
  STCLang: state thread composition as a foundation for monadic dataflow parallelism. Haskell@ICFP 2019: 146-161
• 
  Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito:
  Synthesizing functional reactive programs. Haskell@ICFP 2019: 162-175
• 
  William T. Hallahan, Anton Xue, Ruzica Piskac:
  G2Q: Haskell constraint solving. Haskell@ICFP 2019: 44-57
• 
  Andrey Mokhov, Georgy Lukyanov, Jakob Lechner:
  Formal verification of spacecraft control programs (experience report). Haskell@ICFP 2019: 139-145
• 
  Koen Pauwels, Georgios Karachalias, Michiel Derhaeg, Tom Schrijvers:
  Bidirectional type class instances. Haskell@ICFP 2019: 30-43
• 
  Matthew Pickering, Nicolas Wu, Csongor Kiss:
  Multi-stage programs in context. Haskell@ICFP 2019: 71-84
• 
  Matthew Pickering, Nicolas Wu, Boldizsár Németh:
  Working with source plugins. Haskell@ICFP 2019: 85-97
• 
  Tom Schrijvers, Maciej Piróg, Nicolas Wu, Mauro Jaskelioff:
  Monad transformers and modular algebraic effects: what binds them together. Haskell@ICFP 2019: 98-113
• 
  Ryan G. Scott, Ryan R. Newton:
  Generic and flexible defaults for verified, law-abiding type-class instances. Haskell@ICFP 2019: 15-29
• 
  Richard A. Eisenberg:
  Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2019, Berlin, Germany, August 18-23, 2019. ACM 2019, ISBN 978-1-4503-6813-1 [contents]