LISP and Symbolic Computation
Volume 7, Issue 1 (1994) Special Issue on Continuations (Part II)
| pp.11-38 |
Recursion from Iteration
Andrzej Filinski [abstract | local copy] |
| pp.39-56 |
Monads and Composable Continuations
Philip Wadler [abstract | local copy] |
| pp.57-82 |
Call-by-Need and Continuation-Passing Style
Chris Okasaki, Peter Lee and David Tarditi [abstract | local copy] |
| pp.83-110 |
Subcontinuations
Robert Hieb, R. Kent Dybvig and Claude W. Anderson, III [abstract | local copy] |
| pp.111-134 |
Continuation-Based Control in the Implementation of Parallel Logic Programs
John S. Conery [abstract] |
Volume 7, Issue 2/3 (1994) Special Issue on Parallel Symbolic Applications
| pp.147-172 |
Distributed Data Structures and Algorithms for Gröbner Basis Computation
Soumen Chakrabarti and Katherine Yelick [abstract] |
| pp.173-193 |
A Concurrent Abstract Interpreter
Stephen Weeks, Suresh Jagannathan and James Philbin [abstract] |
| pp.195-210 |
CONSAT: A Parallel Constraint Satisfaction System
Kinson Ho, Hans W. Guesgen and Paul N. Hilfinger [abstract] |
| pp.211-229 |
An Application of an OR-Parallel Prolog Systemto Phylogenetic Analysis
Hideo Matsuda and Yukio Kaneda [abstract] |
| pp.231-247 |
Using Multilisp for Solving Constraint Satisfaction Problems: An Application to Nucleic Acid 3D Structure Determination
Marc Feeley, Marcel Turcotte and Guy Lapalme [abstract | local copy] |
Volume 7, Issue 4 (1994)
| pp.251-290 |
The Grasper-CL Graph Management System
Peter D. Karp, John D. Lowrance, Thomas M. Strat and David E. Wilkins [abstract | local copy] |
| pp.291-314 |
TS/Scheme: Distributed Data Structures in Lisp
Suresh Jagannathan [abstract] |
| pp.315-335 |
A Tractable Scheme Implementation
Richard A. Kelsey and Jonathan A. Rees [abstract | local copy] |
| pp.337-343 |
Loop Headers in Lambda-Calculus or CPS
Andrew W. Appel [abstract | local copy] |
![[picture of journal cover]](../LISP.JPG)