| 2002 | Constructing Tournament Representations: An Exercise in Pointwise Relational Programming. Ralf Hinze |
| 2002 | Eternity Variables to Simulate Specifications. Wim H. Hesselink |
| 2002 | Fine Control of Demand in Haskell. William L. Harrison, Tim Sheard, James Hook |
| 2002 | From Kleene Algebra to Refinement Algebra. Joakim von Wright |
| 2002 | Implementing Algebraic Dynamic Programming in the Functional and the Imperative Programming Paradigm. Robert Giegerich, Peter Steffen |
| 2002 | Inverting Functions as Folds. Shin-Cheng Mu, Richard S. Bird |
| 2002 | Logical Relations and Galois Connections. Kevin Backhouse, Roland Carl Backhouse |
| 2002 | Mathematics in Computer Science Curricula. Jeannette M. Wing |
| 2002 | Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings Eerke A. Boiten, Bernhard Möller |
| 2002 | Reasoning about Timeouts. Ian J. Hayes |
| 2002 | Solving Regular Path Queries. Yanhong A. Liu, Fuxiang Yu |
| 2002 | Some Results in Dynamic Model Theory. Dexter Kozen |
| 2002 | Transformational Derivation of Greedy Network Algorithms from Descriptive Specifications. Juan Eduardo Durán |
| 2002 | Type-Indexed Data Types. Ralf Hinze, Johan Jeuring, Andres Löh |
| 2002 | Verification of Java's AbstractCollection Class: A Case Study. Marieke Huisman |