| 2004 | A Free Construction of Kleene Algebras with Tests. Hitoshi Furusawa |
| 2004 | An Algebra of Scans. Ralf Hinze |
| 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 | Chasing Bottoms: A Case Study in Program Verification in the Presence of Partial and Infinite Values. Nils Anders Danielsson, Patrik Jansson |
| 2004 | Compiling Exceptions Correctly. Graham Hutton, Joel J. Wright |
| 2004 | Constructing Polymorphic Programs with Quotient Types. Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride |
| 2004 | Describing Gen/Kill Static Analysis Techniques with Kleene Algebra. Therrezinha Fernandes, Jules Desharnais |
| 2004 | Extended Static Checking for Java. Greg Nelson |
| 2004 | Friends Need a Bit More: Maintaining Invariants Over Shared State. Michael Barnett, David A. Naumann |
| 2004 | Inferring Type Isomorphisms Generically. Frank Atanassow, Johan Jeuring |
| 2004 | Lazy Kleene Algebra. Bernhard Möller |
| 2004 | Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings Dexter Kozen, Carron Shankland |
| 2004 | Modelling Nondeterminism. Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky |
| 2004 | Optimizing Generic Functions. Artem Alimarine, Sjaak Smetsers |
| 2004 | Pointer Theory and Weakest Preconditions without Addresses and Heap. Birgit Schieder |
| 2004 | Probabilistic Predicative Programming. Eric C. R. Hehner |
| 2004 | Prototyping Generic Programming in Template Haskell. Ulf Norell, Patrik Jansson |
| 2004 | Streaming Representation-Changers. Jeremy Gibbons |
| 2004 | Transposing Relations: From Maybe Functions to Hash Tables. José Nuno Oliveira, César de Jesus Pereira Cunha Rodrigues |
| 2004 | Travelling Processes. Xinbei Tang, Jim Woodcock |