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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team