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

• 2014
• 
  Takahito Aoto, Sorin Stratulat:
  Decision Procedures for Proving Inductive Theorems without Induction. PPDP 2014: 237-248
• 
  Kenichi Asai, Luminous Fennell, Peter Thiemann, Yang Zhang:
  A Type Theoretic Specification of Partial Evaluation. PPDP 2014: 57-68
• 
  Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
  On the Preciseness of Subtyping in Session Types. PPDP 2014: 135-146
• 
  James Cheney, Amal Ahmed, Umut A. Acar:
  Database Queries that Explain their Work. PPDP 2014: 271-282
• 
  Flávio Cruz, Ricardo Rocha, Seth Copen Goldstein:
  Design and Implementation of a Multithreaded Virtual Machine for Executing Linear Logic Programs. PPDP 2014: 43-54
• 
  Rémi Douence, Nicolas Tabareau:
  Lazier Imperative Programming. PPDP 2014: 7-18
• 
  Paul Downen, Luke Maurer, Zena M. Ariola, Daniele Varacca:
  Continuations, Processes, and Sharing. PPDP 2014: 69-80
• 
  Francisco Ferreira, Brigitte Pientka:
  Bidirectional Elaboration of Dependently Typed Programs. PPDP 2014: 161-174
• 
  Roberto Giacobazzi:
  Unveiling and Veiling Information in Programs. PPDP 2014: 211-212
• 
  Jean-Louis Giavitto, José Echeveste:
  Real-Time Matching of Antescofo Temporal Patterns. PPDP 2014: 93-104
• 
  Rémy Haemmerlé:
  On Combining Backward and Forward Chaining in Constraint Logic Programming. PPDP 2014: 213-224
• 
  Danko Ilik:
  Proofs in continuation-passing style: normalization of Gödel's System T extended with sums and delimited control operators: Distilled Tutorial. PPDP 2014: 55-56
• 
  Joachim Jansen, Ingmar Dasseville, Jo Devriendt, Gerda Janssens:
  Experimental Evaluation of a State-Of-The-Art Grounder. PPDP 2014: 249-258
• 
  Jerzy Karczmarczuk:
  On the Declarative Structure of Quantum Concepts: States and Observables (Distilled Tutorial). PPDP 2014: 105-110
• 
  Julian Kranz, Axel Simon:
  Structure-Preserving Compilation: Efficient Integration of Functional DSLs into Legacy Systems. PPDP 2014: 187-198
• 
  Ralf Lämmel, Andrei Varanovich, Martin Leinberger, Thomas Schmorleiz, Jean-Marie Favre:
  Declarative Software Development: Distilled Tutorial. PPDP 2014: 1-6
• 
  Salvador Lucas, José Meseguer:
  Proving Operational Termination of Declarative Programs in General Logics. PPDP 2014: 111-122
• 
  Stefan Mehner, Daniel Seidel, Lutz Straßburger, Janis Voigtländer:
  Parametricity and Proving Free Theorems for Functional-Logic Languages. PPDP 2014: 19-30
• 
  Pierre Neron:
  Elimination of Square Roots and Divisions by Partial Inlining. PPDP 2014: 81-92
• 
  Henrik Nilsson, Ivan Perez:
  Declarative Game Programming: Distilled Tutorial. PPDP 2014: 159-160
• 
  Hugo Pacheco, Tao Zan, Zhenjiang Hu:
  BiFluX: A Bidirectional Functional Update Language for XML. PPDP 2014: 147-158
• 
  Steven J. Ramsay:
  Exact Intersection Type Abstractions for Safety Checking of Recursion Schemes. PPDP 2014: 175-186
• 
  Ulrich Schöpp:
  Organising Low-Level Programs using Higher Types. PPDP 2014: 199-210
• 
  Tom Schrijvers, Nicolas Wu, Benoit Desouter, Bart Demoen:
  Heuristics Entwined with Handlers Combined: From Functional Specification to Logic Programming Implementation. PPDP 2014: 259-270
• 
  Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
  Assertion-based Debugging of Higher-Order (C)LP Programs. PPDP 2014: 225-235
• 
  Paul Tarau:
  Bijective Collection Encodings and Boolean Operations with Hereditarily Binary Natural Numbers. PPDP 2014: 31-42
• 
  Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Paliath Narendran:
  Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. PPDP 2014: 123-133
• 
  Olaf Chitil, Andy King, Olivier Danvy:
  Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. ACM 2014, ISBN 978-1-4503-2947-7 [contents]