Term Graph Reduction Hendrik Pieter Barendregt; Marco van Eekelen; John Glauert; ...[J. W. de Bakker; A. J. Nijman; Philip C. Treleaven (Eds.)] (In Collection, 1990)
π-RED+:
A Compiling Graph Reduction System for a Full Fledged
λ-Calculus Dietmar Gärtner; A. Kimms; Werner E. Kluge[Herbert Kuchen; Rita Loogen (Eds.)] (In Proceedings, 1992)
Alfalfa:
Distributed Graph Reduction on a Hypercube Multiprocessor B. Goldberg; P. Hudak[J. H. Fasel; R. M. Keller (Eds.)] (In Collection, 1986)
The Parallel Graph Reduction Machine Alice P. G. Harrison; M. J. Reeve[J. H. Fasel; R. M. Keller (Eds.)] (In Collection, 1986)
GRIP:
A High Performance Architecture for Parallel Graph Reduction Peyton Jones, Simon L.; Chris Clack; J. Salkid; M. Hardie[G. Kahn (Ed.)] (In Collection, 1987)
π-RED*:
A Graph Reducer for Full-Fledged λ-Calculus Claudia Schmittgen; Harald Blödorn; Werner E. Kluge (Article, 1992)