Conferences in DBLP
Hans-Georg Oberhauser On the correspondence of lambda style reduction and combinator style reduction. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:1-25 [Conf ] Klaus J. Berkling Head order reduction: A graph reduction scheme for the operational lambda calculus. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:26-48 [Conf ] Jon Fairbairn A simple abstract machine to execute supercombinators. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:49-52 [Conf ] Joseph A. Goguen , Claude Kirchner , José Meseguer Concurrent term rewriting as a model of computation. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:53-93 [Conf ] Benjamin Goldberg , Paul Hudak Alfalfa: Distributed graph reduction on a hypercube multiprocessor. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:94-113 [Conf ] Randy Michelson , Lauren Smith , Elizabeth Williams , Bonnie Yantis Parallel Graph Reduction on a Supercomputer: A Status Report. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:114-118 [Conf ] Thomas Johnsson Target code generation from G-machine code. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:119-159 [Conf ] Michel Castan , Guy Durrieu , Bernard Lecussan , Michel Lemaître , Alessandro Contessa , Eric Cousin , Paulino Ng Toward the design of a parallel graph reduction machine: The MaRS project. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:160-180 [Conf ] Peter G. Harrison , Mike Reeve The parallel graph reduction machine, Alice. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:181-202 [Conf ] Robert M. Keller , Jon W. Slater , Kevin T. Likes Overview of Rediflow II Development. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:203-214 [Conf ] Marko C. J. D. van Eekelen , Marinus J. Plasmeijer Specification of reduction strategies in term rewriting systems. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:215-239 [Conf ] F. Warren Burton Controlling reduction partial order in functional parallel programs. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:240-251 [Conf ] Ashoke Deb Parallel garbage collection for graph machines. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:252-264 [Conf ] Ian Watson , Paul Watson Graph reduction in a parallel virtual memory environment. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:265-274 [Conf ] Richard B. Kieburtz Performance measurement of a G-machine implementation. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:275-296 [Conf ] Steven Tighe , Ken Zink , Richard S. Brice , William Alexander A flexible architectural study methodology. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:297-311 [Conf ] Paul Hudak Arrays, non-determinism, side-effects, and parallelism: A functional perspective. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:312-327 [Conf ] Philip Wadler A new array operation. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:328-335 [Conf ] Arvind , Rishiyur S. Nikhil , Keshav Pingali I-structures: Data structures for parallel computing. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:336-369 [Conf ] Bharat Jayaraman , Gopal Gupta Parallel execution of an equational language. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:370-381 [Conf ] Gary Lindstrom Implementing logical variables on a graph reduction architecture. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:382-400 [Conf ] Uday S. Reddy Functional logic languages, Part I. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:401-425 [Conf ] John Staples , Peter J. Robinson Unification of quantified terms. [Citation Graph (0, 0)][DBLP ] Graph Reduction, 1986, pp:426-450 [Conf ]