External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 7, Issue 4

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

    Volume 7, Issue 2-3

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

    Volume 7, Issue 1

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