Journal: Higher-Order and Symbolic Computation

Volume 11, Issue 4

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

Volume 11, Issue 3

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

Volume 11, Issue 2

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

Volume 11, Issue 1

7 -- 105Harold 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 Jay Sussman, G. Brooks, Chris Hanson, Kent M. Pitman, Mitchell Wand. Revised Report on the Algorithmic Language Scheme