• 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
• 
  Ben Lippmeier, Amos Robinson, Andrae Muys:
  Smart Contracts as Authorized Production Rules. PPDP 2019: 14:1-14:14
• 2017
• 
  Amos Robinson, Ben Lippmeier:
  Machine fusion: merging merges, more or less. PPDP 2017: 139-150
• 2016
• 
  Ben Lippmeier, Fil Mackay, Amos Robinson:
  Polarized data parallel data flow. FHPC@ICFP 2016: 52-57
• 
  Amos Robinson, Ben Lippmeier:
  Icicle: write once, run once. FHPC@ICFP 2016: 2-8
• 2015
• 
  Ben Lippmeier:
  Proceedings of the 8th ACM SIGPLAN Symposium on Haskell, Haskell 2015, Vancouver, BC, Canada, September 3-4, 2015. ACM 2015, ISBN 978-1-4503-3808-0 [contents]
• 2014
• 
  Amos Robinson, Ben Lippmeier, Gabriele Keller:
  Fusing filters with integer linear programming. FHPC@ICFP 2014: 53-62
• 2013
• 
  Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Amos Robinson:
  Data flow fusion with series expressions in Haskell. Haskell 2013: 93-104
• 
  Trevor L. McDonell, Manuel M. T. Chakravarty, Gabriele Keller, Ben Lippmeier:
  Optimising purely functional GPU programs. ICFP 2013: 49-60
• 2012
• 
  Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones:
  Vectorisation avoidance. Haskell 2012: 37-48
• 
  Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones:
  Guiding parallel array fusion with indexed types. Haskell 2012: 25-36
• 
  Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Roman Leshchinskiy, Simon L. Peyton Jones:
  Work efficient higher-order vectorisation. ICFP 2012: 259-270
• 2011
• 
  Ben Lippmeier, Gabriele Keller:
  Efficient parallel stencil convolution in Haskell. Haskell 2011: 59-70
• 2010
• 
  Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier:
  Regular, shape-polymorphic, parallel arrays in Haskell. ICFP 2010: 261-272
• 2009
• 
  Ben Lippmeier:
  Witnessing Purity, Constancy and Mutability. APLAS 2009: 95-110