| 2006 | Improving Saddleback Search: A Lesson in Algorithm Design. | Richard S. Bird |
| 2006 | Exercises in Quantifier Manipulation. | Roland Carl Backhouse, Diethard Michaelis |
| 2006 | Aspects and Data Refinement. | Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble |
| 2006 | Proofs of Randomized Algorithms in Coq. | Philippe Audebaud, Christine Paulin-Mohring |
| 2006 | Parameterised Notions of Computation. | Robert Atkey |
| 2006 | Tait in One Big Step. | Thorsten Altenkirch, James Chapman |
| 2006 | Relational Semantics for Higher-Order Programs. | Kamal Aboul-Hosn, Dexter Kozen |
| 2006 | Towards Generic Programming with Sized Types. | Andreas Abel |
| 2006 | Freyd is Kleisli, for Arrows. | Bart Jacobs, Ichiro Hasuo |
| 2006 | Implementing a Normalizer Using Sized Heterogeneous Types. | Andreas Abel |
| 2004 | Travelling Processes. | Xinbei Tang, Jim Woodcock |
| 2004 | Pointer Theory and Weakest Preconditions without Addresses and Heap. | Birgit Schieder |
| 2004 | Transposing Relations: From Maybe Functions to Hash Tables. | Jos Nuno Oliveira, Csar de Jesus Pereira Cunha Rodrigues |
| 2004 | Prototyping Generic Programming in Template Haskell. | Ulf Norell, Patrik Jansson |
| 2004 | Extended Static Checking for Java. | Greg Nelson |
| 2004 | An Injective Language for Reversible Computation. | Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi |
| 2004 | Augmenting Types with Unbounded Demonic and Angelic Nondeterminacy. | Joseph M. Morris |
| 2004 | Lazy Kleene Algebra. | Bernhard Mller |
| 2004 | Modelling Nondeterminism. | Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky |
| 2004 | Compiling Exceptions Correctly. | Graham Hutton, Joel J. Wright |
| 2004 | An Algebra of Scans. | Ralf Hinze |
| 2004 | Probabilistic Predicative Programming. | Eric C. R. Hehner |
| 2004 | Streaming Representation-Changers. | Jeremy Gibbons |
| 2004 | A Free Construction of Kleene Algebras with Tests. | Hitoshi Furusawa |
| 2004 | Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. | Therrezinha Fernandes, Jules Desharnais |