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

• 2017
• 
  Daniil Berezun, Neil D. Jones:
  Compiling untyped lambda calculus to lower-level code by game semantics and partial evaluation (invited paper). PEPM 2017: 1-11
• 
  Levin Fritz, Jurriaan Hage:
  Cost versus precision for approximate typing for Python. PEPM 2017: 89-98
• 
  Fritz Henglein, Ulrik Terp Rasmussen:
  PEG parsing in less space using progressive tabling and dynamic analysis. PEPM 2017: 35-46
• 
  Tatsuya Katsushima, Oleg Kiselyov:
  Language-integrated query with ordering, grouping and outer joins (poster paper). PEPM 2017: 123-124
• 
  Markus Klinik, Jurriaan Hage, Jan Martin Jansen, Rinus Plasmeijer:
  Predicting resource consumption of higher-order workflows. PEPM 2017: 99-110
• 
  Kazutaka Matsuda, Kazuyuki Asada:
  A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction. PEPM 2017: 71-82
• 
  Tsubasa Matsushita, Isao Sasano:
  Detecting code clones with gaps by function applications. PEPM 2017: 12-22
• 
  Krishna Narasimhan, Christoph Reichenbach, Julia Lawall:
  Interactive data representation migration: exploiting program dependence to aid program transformation. PEPM 2017: 47-58
• 
  Tiark Rompf, Kevin J. Brown:
  Functional parallels of sequential imperatives (short paper). PEPM 2017: 83-88
• 
  Alejandro Serrano, Jurriaan Hage:
  Lightweight soundness for towers of language extensions. PEPM 2017: 23-34
• 
  Takashi Suwa, Takeshi Tsukada, Naoki Kobayashi, Atsushi Igarashi:
  Verification of code generators via higher-order model checking. PEPM 2017: 59-70
• 
  Ivo Gabe de Wolff, Jurriaan Hage:
  Refining types using type guards in TypeScript. PEPM 2017: 111-122
• 
  Ulrik Pagh Schultz, Jeremy Yallop:
  Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017. ACM 2017, ISBN 978-1-4503-4721-1 [contents]