Lisp and Symbolic Computation, Volume 7

Volume 7, Number 1, 1994

• Andrzej Filinski: Recursion from Iteration. 11-38 BibTeX
• Philip Wadler: Monads and Composable Continuations. 39-56 BibTeX
• Chris Okasaki, Peter Lee, David Tarditi: Call-by-Need and Continuation-Passing Style. 57-82 BibTeX
• Robert Hieb, R. Kent Dybvig, Claude W. Anderson III: Subcontinuations. 83-110 BibTeX
• John S. Conery: Continuation-Based Control in the Implementation of Parallel Logic Programs. 111-134 BibTeX

Volume 7, Number 2-3, 1994

• Soumen Chakrabarti, Katherine A. Yelick: Distributed Data Structures and Algorithms for Gröbner Basis Computation. 147-172 BibTeX
• Stephen Weeks, Suresh Jagannathan, James Philbin: A Concurrent Abstract Interpreter. 173-193 BibTeX
• Kinson Ho, Hans W. Guesgen, Paul N. Hilfinger: CONSAT: A Parallel Constraint Satisfaction System. 195-210 BibTeX
• Hideo Matsuda, Yukio Kaneda: An Application of an OR-Parallel Prolog Systemto Phylogenetic Analysis. 211-229 BibTeX
• Marc Feeley, Marcel Turcotte, Guy Lapalme: Using Multilisp for Solving Constraint Satisfaction Problems: An Application to Nucleic Acid 3D Structure Determination. 231-247 BibTeX

Volume 7, Number 4, 1994

• Peter D. Karp, John D. Lowrance, Thomas M. Strat, David E. Wilkins: The Grasper-CL Graph Management System. 251-290 BibTeX
• Suresh Jagannathan: TS/Scheme: Distributed Data Structures in Lisp. 291-314 BibTeX
• Richard Kelsey, Jonathan Rees: A Tractable Scheme Implementation. 315-335 BibTeX
• Andrew W. Appel: Loop Headers in Lambda-Calculus or CPS. 337-343 BibTeX