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

• 2006
• 
  Andreas Abel:
  Towards Generic Programming with Sized Types. MPC 2006: 10-28
• 
  Kamal Aboul-Hosn, Dexter Kozen:
  Relational Semantics for Higher-Order Programs. MPC 2006: 29-48
• 
  Philippe Audebaud, Christine Paulin-Mohring:
  Proofs of Randomized Algorithms in Coq. MPC 2006: 49-68
• 
  Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble:
  Aspects and Data Refinement. MPC 2006: 5-9
• 
  Roland Carl Backhouse, Diethard Michaelis:
  Exercises in Quantifier Manipulation. MPC 2006: 69-81
• 
  Richard S. Bird:
  Improving Saddleback Search: A Lesson in Algorithm Design. MPC 2006: 82-89
• 
  Richard S. Bird:
  Loopless Functional Algorithms. MPC 2006: 90-114
• 
  Yifeng Chen, Jeff W. Sanders:
  Compositional Reasoning for Pointer Structures. MPC 2006: 115-139
• 
  J. Robin B. Cockett:
  What Is a Good Process Semantics? MPC 2006: 1-3
• 
  Olivier Danvy:
  Refunctionalization at Work. MPC 2006: 4
• 
  Brijesh Dongol, Arjan J. Mooij:
  Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. MPC 2006: 140-161
• 
  Jeremy Gibbons:
  Fission for Program Comprehension. MPC 2006: 162-179
• 
  Ralf Hinze, Andres Löh:
  "Scrap Your Boilerplate" Revolutions. MPC 2006: 180-208
• 
  Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez:
  Generic Views on Data Types. MPC 2006: 209-234
• 
  Jevgeni Kabanov, Varmo Vene:
  Recursion Schemes for Dynamic Programming. MPC 2006: 235-252
• 
  Wolfram Kahl, Jacques Carette, Xiaoheng Ji:
  Bimonadic Semantics for Basic Pattern Matching Calculi. MPC 2006: 253-273
• 
  Clare E. Martin, Sharon A. Curtis:
  Nondeterministic Folds. MPC 2006: 274-298
• 
  Ralph Matthes:
  A Datastructure for Iterated Powers. MPC 2006: 299-315
• 
  Larissa Meinicke, Ian J. Hayes:
  Continuous Action System Refinement. MPC 2006: 316-337
• 
  Bernhard Möller:
  The Linear Algebra of UTP. MPC 2006: 338-358
• 
  Carroll Morgan:
  The Shadow Knows: Refinement of Ignorance in Sequential Programs. MPC 2006: 359-378
• 
  Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
  Swapping Arguments and Results of Recursive Functions. MPC 2006: 379-396
• 
  Kim Solin, Joakim von Wright:
  Refinement Algebra with Operators for Enabledness and Termination. MPC 2006: 397-415
• 
  Georg Struth:
  Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. MPC 2006: 416-432
• 
  Anya Tafliovich, Eric C. R. Hehner:
  Quantum Predicative Programming. MPC 2006: 433-454
• 
  Tarmo Uustalu:
  Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings. Lecture Notes in Computer Science 4014, Springer 2006, ISBN 3-540-35631-2 [contents]