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 BibTeX

Volume 11, Number 2, December 1998

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

Volume 11, Number 3, December 1998

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

Volume 11, Number 4, December 1998

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