default search action
Lisp and Symbolic Computation, Volume 7
Volume 7, Number 1, 1994
- Andrzej Filinski:
Recursion from Iteration. LISP Symb. Comput. 7(1): 11-38 (1994) - Philip Wadler:
Monads and Composable Continuations. LISP Symb. Comput. 7(1): 39-56 (1994) - Chris Okasaki, Peter Lee, David Tarditi:
Call-by-Need and Continuation-Passing Style. LISP Symb. Comput. 7(1): 57-82 (1994) - Robert Hieb, R. Kent Dybvig, Claude W. Anderson III:
Subcontinuations. LISP Symb. Comput. 7(1): 83-110 (1994) - John S. Conery:
Continuation-Based Control in the Implementation of Parallel Logic Programs. LISP Symb. Comput. 7(1): 111-134 (1994)
Volume 7, Number 2-3, 1994
- Soumen Chakrabarti, Katherine A. Yelick:
Distributed Data Structures and Algorithms for Gröbner Basis Computation. LISP Symb. Comput. 7(2-3): 147-172 (1994) - Stephen Weeks, Suresh Jagannathan, James Philbin:
A Concurrent Abstract Interpreter. LISP Symb. Comput. 7(2-3): 173-193 (1994) - Kinson Ho, Hans W. Guesgen, Paul N. Hilfinger:
CONSAT: A Parallel Constraint Satisfaction System. LISP Symb. Comput. 7(2-3): 195-210 (1994) - Hideo Matsuda, Yukio Kaneda:
An Application of an OR-Parallel Prolog Systemto Phylogenetic Analysis. LISP Symb. Comput. 7(2-3): 211-229 (1994) - Marc Feeley, Marcel Turcotte, Guy Lapalme:
Using Multilisp for Solving Constraint Satisfaction Problems: An Application to Nucleic Acid 3D Structure Determination. LISP Symb. Comput. 7(2-3): 231-247 (1994)
Volume 7, Number 4, 1994
- Peter D. Karp, John D. Lowrance, Thomas M. Strat, David E. Wilkins:
The Grasper-CL Graph Management System. LISP Symb. Comput. 7(4): 251-290 (1994) - Suresh Jagannathan:
TS/Scheme: Distributed Data Structures in Lisp. LISP Symb. Comput. 7(4): 291-314 (1994) - Richard Kelsey, Jonathan Rees:
A Tractable Scheme Implementation. LISP Symb. Comput. 7(4): 315-335 (1994) - Andrew W. Appel:
Loop Headers in Lambda-Calculus or CPS. LISP Symb. Comput. 7(4): 337-343 (1994)
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.
last updated on 2024-12-16 22:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: