Lisp and Symbolic Computation, Volume 7

Volume 7, Number 1, 1994

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

Volume 7, Number 2-3, 1994

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

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
• Suresh Jagannathan: TS/Scheme: Distributed Data Structures in Lisp. 291-314
• Richard Kelsey, Jonathan Rees: A Tractable Scheme Implementation. 315-335
• Andrew W. Appel: Loop Headers in Lambda-Calculus or CPS. 337-343