| 187 | -- | 193 | David E. Rydeheard, Donald Sannella. A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science |
| 194 | -- | 0 | Eleanor Kerse. Ode to Rod Burstall |
| 195 | -- | 0 | Peter J. Landin. Rod Burstall: A Personal Note |
| 196 | -- | 213 | Robin J. Popplestone. POP, A Broad-Spectrum Programming Language, 1967-2002 |
| 214 | -- | 232 | David B. MacQueen. Should ML be Object-Oriented? |
| 233 | -- | 251 | Alberto Pettorossi, Maurizio Proietti. The List Introduction Strategy for the Derivation of Logic Programs |
| 252 | -- | 273 | Michel Bidoit, Donald Sannella, Andrzej Tarlecki. Architectural Specifications in CASL |
| 274 | -- | 307 | Joseph A. Goguen, Grigore Rosu. Institution Morphisms |
| 308 | -- | 326 | Edmund Robinson. Variations on Algebra: Monadicity and Generalisations of Equational Theories |
| 327 | -- | 340 | James J. Leifer, Robin Milner. Shallow Linear Action Graphs and their Embeddings |
| 341 | -- | 363 | Murdoch Gabbay, Andrew M. Pitts. A New Approach to Abstract Syntax with Variable Binding |
| 364 | -- | 385 | Gordon D. Plotkin. Three Inadequate Models |
| 386 | -- | 402 | Robert Pollack. Dependently Typed Records in Type Theory |
| 403 | -- | 421 | Jon Whittle, Alan Bundy, Richard J. Boulton. Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor |
| 422 | -- | 429 | Henk Barendregt. The Ancient Theory of Mind |