• 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

• 2002
• 
  Kenichi Asai:
  Online partial evaluation for shift and reset. PEPM 2002: 19-30
• 
  Gilles Barthe, Tarmo Uustalu:
  CPS translating inductive and coinductive types. PEPM 2002: 131-142
• 
  Christian H. Bischof, Paul D. Hovland, Boyana Norris:
  Implementation of automatic differentiation tools. PEPM 2002: 98-107
• 
  Claus Brabrand, Michael I. Schwartzbach:
  Growing languages with metamorphic syntax macros. PEPM 2002: 31-40
• 
  Craig Chambers:
  Staged compilation. PEPM 2002: 1-8
• 
  Roberto Giacobazzi, Isabella Mastroeni:
  Compositionality in the puzzle of semantics. PEPM 2002: 87-97
• 
  Gustavo Gomez, Yanhong A. Liu:
  Automatic time-bound analysis for a higher-order language. PEPM 2002: 75-86
• 
  Yanhong A. Liu, Scott D. Stoller:
  Program optimization using indexed and recursive data structures. PEPM 2002: 108-118
• 
  Lunjin Lu:
  Path dependent analysis of logic programs. PEPM 2002: 63-74
• 
  Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel:
  Towards bridging the gap between programming languages and partial evaluation. PEPM 2002: 9-18
• 
  Naren Ramakrishnan, Robert Capra, Manuel A. Pérez-Quiñones:
  Mixed-initiative interaction = mixed computation. PEPM 2002: 119-130
• 
  Jens P. Secher, Morten Heine Sørensen:
  From checking to inference via driving and dag grammars. PEPM 2002: 41-51
• 
  Germán Vidal:
  Cost-augmented narrowing-driven specialization. PEPM 2002: 52-62
• 
  Peter Thiemann:
  Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002. ACM 2002, ISBN 1-58113-455-X [contents]