Higher-Order and Symbolic Computation, Volume 11

Volume 11, Number 1, August 1998

• Harold Abelson, R. Kent Dybvig, Christopher T. Haynes, Guillermo Juan Rozas, N. I. Adams IV, Daniel P. Friedman, Eugene E. Kohlbecker, Guy L. Steele Jr., David H. Bartley, Robert H. Halstead Jr., Don Oxley, Gerald J. Sussman, G. Brooks, Chris Hanson, Kent M. Pitman, Mitchell Wand:
  Revised Report on the Algorithmic Language Scheme. 7-105
  

Volume 11, Number 2, December 1998

• Hayo Thielecke:
  An Introduction to Landin's "A Generalization of Jumps and Labels". 117-123
  
• Peter J. Landin:
  A Generalization of Jumps and Labels. 125-143
  
• Jakov Kucan:
  Retraction Approach to CPS Transform. 145-175
  
• Gérard Boudol:
  The p-Calculus in Direct Style. 177-208
  
• Edoardo Biagioni, Kenneth Cline, Peter Lee, Chris Okasaki, Christopher A. Stone:
  Safe-for-Space Threads in Standard ML. 209-225
  

Volume 11, Number 3, December 1998

• Luc Moreau:
  A Syntactic Theory of Dynamic Binding. 233-279
  
• Carolyn L. Talcott:
  Composable Semantic Models for Actor Theories. 281-343
  

Volume 11, Number 4, December 1998

• John C. Reynolds:
  Definitional Interpreters Revisited. 355-361
  
• John C. Reynolds:
  Definitional Interpreters for Higher-Order Programming Languages. 363-397
  
• Gerald J. Sussman, Guy L. Steele Jr.:
  The First Report on Scheme Revisited. 399-404
  
• Gerald J. Sussman, Guy L. Steele Jr.:
  Scheme: A Interpreter for Extended Lambda Calculus. 405-439
  

Last update Mon May 20 01:28:13 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page