| 2006 | Constructing Rewrite-Based Decision Procedures for Embeddings and Termination. | Georg Struth |
| 2006 | Algebras for Combinatorial Search. | J. Michael Spivey |
| 2006 | Refinement Algebra with Operators for Enabledness and Termination. | Kim Solin, Joakim von Wright |
| 2006 | The Universal Algebra of Computational Effects: Lawvere Theories and Monads. | John Power |
| 2006 | Swapping Arguments and Results of Recursive Functions. | Akimasa Morihata, Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi |
| 2006 | Untitled record | Carroll Morgan |
| 2006 | The Linear Algebra of UTP. | Bernhard Mller |
| 2006 | Continuous Action System Refinement. | Larissa Meinicke, Ian J. Hayes |
| 2006 | Verification of Programs on Truly Nested Datatypes in Intensional Type Theory. | Ralph Matthes |
| 2006 | A Datastructure for Iterated Powers. | Ralph Matthes |
| 2006 | Nondeterministic Folds. | Clare E. Martin, Sharon A. Curtis |
| 2006 | Bimonadic Semantics for Basic Pattern Matching Calculi. | Wolfram Kahl, Jacques Carette, Xiaoheng Ji |
| 2006 | Recursion Schemes for Dynamic Programming. | Jevgeni Kabanov, Varmo Vene |
| 2006 | Compact Fusion. | Catherine Hope, Graham Hutton |
| 2006 | Generic Views on Data Types. | Stefan Holdermans, Johan Jeuring, Andres Lh, Alexey Rodriguez |
| 2006 | "Scrap Your Boilerplate" Revolutions. | Ralf Hinze, Andres Lh |
| 2006 | The Essence of the ITERATOR Pattern. | Jeremy Gibbons, Bruno C. d. S. Oliveira |
| 2006 | Fission for Program Comprehension. | Jeremy Gibbons |
| 2006 | Monadic Reflection in Haskell. | Andrzej Filinski |
| 2006 | Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. | Brijesh Dongol, Arjan J. Mooij |
| 2006 | Program Fusion with Paramorphisms. | Facundo Domnguez, Alberto Pardo |
| 2006 | Refunctionalization at Work. | Olivier Danvy |
| 2006 | What Is a Good Process Semantics? | J. Robin B. Cockett |
| 2006 | Compositional Reasoning for Pointer Structures. | Yifeng Chen, Jeff W. Sanders |
| 2006 | Loopless Functional Algorithms. | Richard S. Bird |