A graph reduction machine is a special-purpose computer built to perform combinator calculations by graph reduction.
Examples include the SKIM ("S-K-I machine") computer, built at the University of Cambridge Computer Laboratory,[1] the multiprocessor GRIP ("Graph Reduction In Parallel") computer, built at University College London,[2][3] and the Reduceron, which was implemented on an FPGA with the single purpose of executing Haskell.
[4][5]
This computer hardware article is a stub.
You can help Wikipedia by expanding it.