A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science DAVID E. RYDEHEARDDONALD T. SANNELLA Preface 01 March 2014 Pages: 187 - 193
POP, A Broad-Spectrum Programming Language, 1967–2002 Robin Popplestone Original Paper 01 March 2014 Pages: 196 - 213
The List Introduction Strategy for the Derivation of Logic Programs Alberto PettorossiMaurizio Proietti Original Paper 01 March 2014 Pages: 233 - 251
Architectural Specifications in CASL Michel BidoitDonald SannellaAndrzej Tarlecki Original Paper 01 March 2014 Pages: 252 - 273
Variations on Algebra: Monadicity and Generalisations of Equational Therories Edmund Robinson Original Paper 01 March 2014 Pages: 308 - 326
Shallow Linear Action Graphs and their Embeddings James J. LeiferRobin Milner Original Paper 01 March 2014 Pages: 327 - 340
A New Approach to Abstract Syntax with Variable Binding Murdoch J. GabbayAndrew M. Pitts Original Paper 01 March 2014 Pages: 341 - 363
Dependently Typed Records in Type Theory Robert Pollack Original Paper 01 March 2014 Pages: 386 - 402
Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor Jon WhittleAlan BundyRichard Boulton Original Paper 01 March 2014 Pages: 403 - 421