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
  

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 update Sat May 26 06:48:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page