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

Volume 13, Number 3, September 2000

• 
  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

Volume 13, Number 4, December 2000

• 
  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

last updated on Thu May 23 04:30:59 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page