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