| 2006 | "Scrap Your Boilerplate" Revolutions. Ralf Hinze, Andres Löh |
| 2006 | A Datastructure for Iterated Powers. Ralph Matthes |
| 2006 | Aspects and Data Refinement. Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble |
| 2006 | Bimonadic Semantics for Basic Pattern Matching Calculi. Wolfram Kahl, Jacques Carette, Xiaoheng Ji |
| 2006 | Compositional Reasoning for Pointer Structures. Yifeng Chen, Jeff W. Sanders |
| 2006 | Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. Georg Struth |
| 2006 | Continuous Action System Refinement. Larissa Meinicke, Ian J. Hayes |
| 2006 | Exercises in Quantifier Manipulation. Roland Carl Backhouse, Diethard Michaelis |
| 2006 | Fission for Program Comprehension. Jeremy Gibbons |
| 2006 | Generic Views on Data Types. Stefan Holdermans, Johan Jeuring, Andres Löh, Alexey Rodriguez |
| 2006 | Improving Saddleback Search: A Lesson in Algorithm Design. Richard S. Bird |
| 2006 | Loopless Functional Algorithms. Richard S. Bird |
| 2006 | Mathematics of Program Construction, 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings Tarmo Uustalu |
| 2006 | Nondeterministic Folds. Clare E. Martin, Sharon A. Curtis |
| 2006 | Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. Brijesh Dongol, Arjan J. Mooij |
| 2006 | Proofs of Randomized Algorithms in Coq. Philippe Audebaud, Christine Paulin-Mohring |
| 2006 | Quantum Predicative Programming. Anya Tafliovich, Eric C. R. Hehner |
| 2006 | Recursion Schemes for Dynamic Programming. Jevgeni Kabanov, Varmo Vene |
| 2006 | Refinement Algebra with Operators for Enabledness and Termination. Kim Solin, Joakim von Wright |
| 2006 | Refunctionalization at Work. Olivier Danvy |
| 2006 | Relational Semantics for Higher-Order Programs. Kamal Aboul-Hosn, Dexter Kozen |
| 2006 | Swapping Arguments and Results of Recursive Functions. Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi |
| 2006 | The Linear Algebra of UTP. Bernhard Möller |
| 2006 | Towards Generic Programming with Sized Types. Andreas Abel |
| 2006 | What Is a Good Process Semantics? J. Robin B. Cockett |