| Richard Bird. Zippy Tabulations of Recursive Functions |
| Dexter Kozen and Wei-Lung (Dustin) Tseng. The Boehm-Jacopini Theorem is False, Propositionally |
| Shin-Cheng Mu, Hsiang-Shang Ko and Patrik Jansson. Derivation-Carrying Code using Dependent Types |
| Jeremy Gibbons. Unfolding Abstract Datatypes |
| Roland Backhouse and Joao Ferreira. Recounting the rationals: twice! |
| Susumu Nishimura. Safe Modification of Pointer Programs in Refinement Calculus |
| Roland Backhouse. The Capacity C Torch Problem |
| Michel Sintzoff. Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems |
| Janis Voigtländer. Asymptotic Improvement of Monadic Computations |
| Francois Pottier and Yann Régis-Gianas. A Hoare Logic for Call-by-Value Functional Programs |
| Larissa Meinicke and Ian Hayes. Probabilistic Choice in Refinement Algebra |
| Andreas Abel, Thierry Coquand and Peter Dybjer. A Semantic beta-eta-Equality Algorithm for Martin-L"of Type Theory |
| Georg Struth and Jules Desharnais. Modal Semirings Revisited |
| Andreas Witzel. Symmetric and Synchronous Communication in Peer-to-Peer Networks |
| Ralph Matthes. Nested datatypes with generalized Mendler iteration: map fusion and the example of the representation of untyped lambda calculus with explicit flattening |
| Roland Glück and Bernhard Möller. Circulations, Semirings and Fuzzy Relations |
| William Harrison, Gerard Allwein, Andy Gill and Adam Procter. Asynchronous Exceptions as an Effect |
| Ralf Laemmel and Ondrej Rypacek. Sliced bananas on opaque data |