Higher-Order and Symbolic Computation, Volume 13

Volume 13, Number 1/2, April 2000

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

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

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