Higher-Order and Symbolic Computation
Volume 11, Issue 1 (August 1998)
| p. 5 |
Editorial
Bob Kessler and Carolyn Talcott [editorial] |
| pp. 7-105 |
Revised^5 Report on the Algorithmic Language Scheme
H. Abelson, R.K. Dybvig, C.T. Haynes, G.J. Rozas, N.I. Adams IV, D.P. Friedman, E. Kohlbecker, G.L. Steele Jr., D.H. Bartley, R. Halstead, D. Oxley, G.J. Sussman, G. Brooks, C. Hanson, K.M. Pitman and M. Wand [abstract | full text | local copy] |
Volume 11, Issue 2 (December 1998) Special Issue on the second ACM Workshop on Continuations (CW 1997)
| pp. 115-116 |
Introduction
Olivier Danvy and Carolyn L. Talcott [editorial] |
| pp. 117-123 |
An Introduction to Landin's "A Generalization of Jumps and Labels"
Hayo Thielecke [abstract | full text | local copy] |
| pp. 125-143 |
A Generalization of Jumps and Labels
Peter J. Landin [abstract | full text | local copy] |
| pp. 145-175 |
Retraction Approach to CPS Transform
Jakov Kucan [abstract | full text] |
| pp. 177-208 |
The pi-Calculus in Direct Style
Gérard Boudol [abstract | full text] |
| pp. 209-225 |
Safe-for-Space Threads in Standard ML
Edoardo Biagioni, Ken Cline, Peter Lee, Chris Okasaki and Chris Stone [abstract | full text] |
Volume 11, Issue 3 (December 1998)
| pp. 233-279 |
A Syntactic Theory of Dynamic Binding
Luc Moreau [abstract | full text] |
| pp. 281-343 |
Composable Semantic Models for Actor Theories
Carolyn L. Talcott [abstract | full text] |
Volume 11, Issue 4 (December 1998)
| pp. 353-354 |
Editorial
Olivier Danvy and Carolyn Talcott [editorial] |
| pp. 355-361 |
Definitional Interpreters Revisited
John C. Reynolds [abstract | full text | local copy] |
| pp. 363-397 |
Definitional Interpreters for Higher-Order Programming Languages
John C. Reynolds [abstract | full text | local copy] |
| pp. 399-404 |
The First Report on Scheme Revisited
Gerald Jay Sussman and Guy L. Steele Jr. [full text | local copy] |
| pp. 405-439 |
Scheme: A Interpreter for Extended Lambda Calculus
Gerald Jay Sussman and Guy L. Steele Jr. [abstract | full text | local copy] |