8. MPC 2006: Kuressaare, Estonia

Invited Talks

• J. Robin B. Cockett:
  What Is a Good Process Semantics? 1-3
  
• Olivier Danvy:
  Refunctionalization at Work. 4
  
• Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble:
  Aspects and Data Refinement. 5-9
  

Contributed Papers

• Andreas Abel:
  Towards Generic Programming with Sized Types. 10-28
  
• Kamal Aboul-Hosn, Dexter Kozen:
  Relational Semantics for Higher-Order Programs. 29-48
  
• Philippe Audebaud, Christine Paulin-Mohring:
  Proofs of Randomized Algorithms in Coq. 49-68
  
• Roland Carl Backhouse, Diethard Michaelis:
  Exercises in Quantifier Manipulation. 69-81
  
• Richard S. Bird:
  Improving Saddleback Search: A Lesson in Algorithm Design. 82-89
  
• Richard S. Bird:
  Loopless Functional Algorithms. 90-114
  
• Yifeng Chen, Jeff W. Sanders:
  Compositional Reasoning for Pointer Structures. 115-139
  
• Brijesh Dongol, Arjan J. Mooij:
  Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. 140-161
  
• Jeremy Gibbons:
  Fission for Program Comprehension. 162-179
  
• Ralf Hinze, Andres Löh:
  "Scrap Your Boilerplate" Revolutions. 180-208
  
• Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez:
  Generic Views on Data Types. 209-234
  
• Jevgeni Kabanov, Varmo Vene:
  Recursion Schemes for Dynamic Programming. 235-252
  
• Wolfram Kahl, Jacques Carette, Xiaoheng Ji:
  Bimonadic Semantics for Basic Pattern Matching Calculi. 253-273
  
• Clare E. Martin, Sharon A. Curtis:
  Nondeterministic Folds. 274-298
  
• Ralph Matthes:
  A Datastructure for Iterated Powers. 299-315
  
• Larissa Meinicke, Ian J. Hayes:
  Continuous Action System Refinement. 316-337
  
• Bernhard Möller:
  The Linear Algebra of UTP. 338-358
  
• Carroll Morgan:
  The Shadow Knows: Refinement of Ignorance in Sequential Programs. 359-378
  
• Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi:
  Swapping Arguments and Results of Recursive Functions. 379-396
  
• Kim Solin, Joakim von Wright:
  Refinement Algebra with Operators for Enabledness and Termination. 397-415
  
• Georg Struth:
  Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. 416-432
  
• Anya Tafliovich, Eric C. R. Hehner:
  Quantum Predicative Programming. 433-454