Higher-Order and Symbolic Computation, Volume 13

Volume 13, Number 1/2, April 2000

• Olivier Danvy, Carolyn L. Talcott: Editorial. 5-6 BibTeX
• Peter D. Mosses: A Foreword to `Fundamental Concepts in Programming Languages'. 7-9 BibTeX
• Christopher Strachey: Fundamental Concepts in Programming Languages. 11-49 BibTeX
• Rod M. Burstall: Christopher Strachey - Understanding Programming Languages. 51-55 BibTeX
• R. Kent Dybvig: From Macrogeneration to Syntactic Abstraction. 57-63 BibTeX
• Michael J. C. Gordon: Christopher Strachey: Recollections of His Influence. 65-67 BibTeX
• David Hartley: Cambridge and CPL in the 1960s. 69-70 BibTeX
• C. A. R. Hoare: A Hard Act to Follow. 71-72 BibTeX
• Michael Jackson: Christopher Strachey: A Personal Recollection. 73-74 BibTeX
• Peter J. Landin: My Years with Strachey. 75-76 BibTeX
• Robert Milne: From Language Concepts to Implementation Concepts. 77-81 BibTeX
• Roger Penrose: Reminiscences of Christopher Strachey. 83-84 BibTeX
• Martin Richards: Christopher Strachey and the Cambridge CPL Compiler. 85-88 BibTeX
• David A. Schmidt: Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering. 89-101 BibTeX
• Dana S. Scott: Some Reflections on Strachey and His Work. 103-114 BibTeX
• Joseph E. Stoy: Christopher Strachey and Fundamental Concepts. 115-117 BibTeX
• Robert D. Tennent, Dan R. Ghica: Abstract Models of Storage. 119-129 BibTeX
• Christopher P. Wadsworth: Continuations Revisited. 131-133 BibTeX
• Christopher Strachey, Christopher P. Wadsworth: Continuations: A Mathematical Semantics for Handling Full Jumps. 135-152 BibTeX

Volume 13, Number 3, September 2000

• Olivier Danvy, Carolyn L. Talcott: Editorial. 159-160 BibTeX
• Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller: Static and Dynamic Program Compilation by Interpreter Specialization. 161-178 BibTeX
• John Hannan, Patrick Hicks: Higher-Order UnCurrying. 179-216 BibTeX
• Torben Æ. Mogensen: Linear-Time Self-Interpretation of the Pure Lambda Calculus. 217-237 BibTeX
• Shin-ya Nishizaki: A Polymorphic Environment Calculus and its Type-Inference Algorithm. 239-278 BibTeX

Volume 13, Number 4, December 2000

• Olivier Danvy, Carolyn L. Talcott: Editorial. 287-288 BibTeX
• Yanhong A. Liu: Efficiency by Incrementalization: An Introduction. 289-313 BibTeX
• John Hatcliff, Matthew B. Dwyer, Hongjun Zheng: Slicing Software for Model Construction. 315-353 BibTeX
• Torben Æ. Mogensen: Glossary for Partial Evaluation and Related Topics. 355-368 BibTeX