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

• 2022
• 
  Gershom Bazerman:
  A totally predictable outcome: an investigation of traversals of infinite structures. Haskell 2022: 39-53
• 
  Henry Blanchette, Niki Vazou, Leonidas Lampropoulos:
  Liquid proof macros. Haskell 2022: 27-38
• 
  Jesper Cockx, Orestis Melkonian, Lucas Escot, James Chapman, Ulf Norell:
  Reasonable Agda is correct Haskell: writing verified Haskell using agda2hs. Haskell 2022: 108-122
• 
  Jonathas Augusto de Oliveira Conceição, André Rauber Du Bois, Samuel da Silva Feitosa, Gerson Geraldo Homrich Cavalheiro, Rodrigo Geraldo Ribeiro:
  Open transactional actions: interacting with non-transactional resources in STM Haskell. Haskell 2022: 54-65
• 
  Celeste Hollenbeck, Michael F. P. O'Boyle, Michel Steuwer:
  Investigating magic numbers: improving the inlining heuristic in the Glasgow Haskell Compiler. Haskell 2022: 81-94
• 
  Apoorv Ingle, Alex Hubers, J. Garrett Morris:
  Partial type constructors in practice. Haskell 2022: 95-107
• 
  Lykourgos Mastorou, Nikolaos Papaspyrou, Niki Vazou:
  Coinduction inductively: mechanizing coinductive proofs in Liquid Haskell. Haskell 2022: 1-12
• 
  Trevor L. McDonell, Joshua D. Meredith, Gabriele Keller:
  Embedded pattern matching. Haskell 2022: 123-136
• 
  Niki Vazou, Michael Greenberg:
  How to safely use extensionality in Liquid Haskell. Haskell 2022: 13-26
• 
  Jamie Willis, Nicolas Wu, Tom Schrijvers:
  Oregano: staging regular expressions with Moore Cayley fusion. Haskell 2022: 66-80
• 
  Nadia Polikarpova:
  Haskell '22: 15th ACM SIGPLAN International Haskell Symposium, Ljubljana, Slovenia, September 15 - 16, 2022. ACM 2022, ISBN 978-1-4503-9438-3 [contents]