External Links

    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
    runs on