![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
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 - Gerald J. Sussman, Guy L. Steele Jr.:
The First Report on Scheme Revisited. 399-404 - Gerald J. Sussman, Guy L. Steele Jr.:
Scheme: A Interpreter for Extended Lambda Calculus. 405-439
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.