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