Abstract is missing.
- On the correspondence of lambda style reduction and combinator style reductionHans-Georg Oberhauser. 1-25
- Head order reduction: A graph reduction scheme for the operational lambda calculusKlaus J. Berkling. 26-48
- A simple abstract machine to execute supercombinatorsJon Fairbairn. 49-52
- Concurrent term rewriting as a model of computationJoseph A. Goguen, Claude Kirchner, José Meseguer. 53-93
- Alfalfa: Distributed graph reduction on a hypercube multiprocessorBenjamin Goldberg, Paul Hudak. 94-113
- Parallel Graph Reduction on a Supercomputer: A Status ReportRandy Michelson, Lauren Smith, Elizabeth Williams, Bonnie Yantis. 114-118
- Target code generation from G-machine codeThomas Johnsson. 119-159
- Toward the design of a parallel graph reduction machine: The MaRS projectMichel Castan, Guy Durrieu, Bernard Lécussan, Michel Lemaître, Alessandro Contessa, Eric Cousin, Paulino Ng. 160-180
- The parallel graph reduction machine, AlicePeter G. Harrison, Mike Reeve. 181-202
- Overview of Rediflow II DevelopmentRobert M. Keller, Jon W. Slater, Kevin T. Likes. 203-214
- Specification of reduction strategies in term rewriting systemsMarko C. J. D. van Eekelen, Marinus J. Plasmeijer. 215-239
- Controlling reduction partial order in functional parallel programsF. Warren Burton. 240-251
- Parallel garbage collection for graph machinesAshoke Deb. 252-264
- Graph reduction in a parallel virtual memory environmentIan Watson, Paul Watson. 265-274
- Performance measurement of a G-machine implementationRichard B. Kieburtz. 275-296
- A flexible architectural study methodologySteven Tighe, Ken Zink, Richard S. Brice, William Alexander. 297-311
- Arrays, non-determinism, side-effects, and parallelism: A functional perspectivePaul Hudak. 312-327
- A new array operationPhilip Wadler. 328-335
- I-structures: Data structures for parallel computingArvind, Rishiyur S. Nikhil, Keshav Pingali. 336-369
- Parallel execution of an equational languageBharat Jayaraman, Gopal Gupta. 370-381
- Implementing logical variables on a graph reduction architectureGary Lindstrom. 382-400
- Functional logic languages, Part IUday S. Reddy. 401-425
- Unification of quantified termsJohn Staples, Peter J. Robinson. 426-450