Higher-Order and Symbolic Computation
Volume 13, Issue 1/2 (April 2000) Special Issue in memory of Christopher Strachey
| pp. 5-6 |
Editorial
Olivier Danvy and Carolyn Talcott [editorial] |
| pp. 7-9 |
A Foreword to 'Fundamental Concepts in Programming Languages'
Peter D. Mosses [full text] |
| pp. 11-49 |
Fundamental Concepts in Programming Languages
Christopher Strachey [abstract | full text] |
| pp. 51-55 |
Christopher Strachey -- Understanding Programming Languages
Rod Burstall [full text] |
| pp. 57-63 |
From Macrogeneration to Syntactic Abstraction
R. Kent Dybvig [abstract | full text] |
| pp. 65-67 |
Christopher Strachey: Recollections of His Influence
Mike Gordon [abstract | full text] |
| pp. 69-70 |
Cambridge and CPL in the 1960s
David Hartley [full text] |
| pp. 71-72 |
A Hard Act to Follow
C.A.R. Hoare [full text] |
| pp. 73-74 |
Christopher Strachey: A Personal Recollection
Michael Jackson [full text] |
| pp. 75-76 |
My Years with Strachey
Peter J. Landin [full text] |
| pp. 77-81 |
From Language Concepts to Implementation Concepts
Robert Milne [abstract | full text] |
| pp. 83-84 |
Reminiscences of Christopher Strachey
Roger Penrose [full text] |
| pp. 85-88 |
Christopher Strachey and the Cambridge CPL Compiler
Martin Richards [full text] |
| pp. 89-101 |
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering
David A. Schmidt [abstract | full text] |
| pp. 103-114 |
Some Reflections on Strachey and His Work
Dana Scott [full text] |
| pp. 115-117 |
Christopher Strachey and Fundamental Concepts
Joe Stoy [full text] |
| pp. 119-129 |
Abstract Models of Storage
Robert D. Tennent and Dan R. Ghica [abstract | full text] |
| pp. 131-133 |
Continuations Revisited
Christopher P. Wadsworth [abstract | full text] |
| pp. 135-152 |
Continuations: A Mathematical Semantics for Handling Full Jumps
Christopher Strachey and Christopher P. Wadsworth [abstract | full text] |
Volume 13, Issue 3 (September 2000)
| pp. 159-160 |
Editorial
Olivier Danvy and Carolyn Talcott [editorial] |
| pp. 161-178 |
Static and Dynamic Program Compilation by Interpreter Specialization
Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet and Gilles Muller [abstract | full text] |
| pp. 179-216 |
Higher-Order UnCurrying
John Hannan and Patrick Hicks [abstract | full text] |
| pp. 217-237 |
Linear-Time Self-Interpretation of the Pure Lambda Calculus
Torben Æ. Mogensen [abstract | full text] |
| pp. 239-278 |
A Polymorphic Environment Calculus and its Type-Inference Algorithm
Shin-Ya Nishizaki [abstract | full text] |
Volume 13, Issue 4 (December 2000) Special Issue on the 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1999)
| pp. 287-288 |
Editorial
Olivier Danvy and Carolyn Talcott [editorial] |
| pp. 289-313 |
Efficiency by Incrementalization: An Introduction
Yanhong A. Liu [abstract | full text] |
| pp. 315-353 |
Slicing Software for Model Construction
John Hatcliff, Matthew B. Dwyer and Hongjun Zheng [abstract | full text] |
| pp. 355-368 |
Glossary for Partial Evaluation and Related Topics
Torben Æ. Mogensen (ed.) [abstract | full text | local copy] |