Английская Википедия:Graph reduction machine

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Use dmy dates 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]

See also

References

Шаблон:Reflist

Further reading

  • T. J. W. Clarke, P. Gladstone, C. MacLean, A. C. Norman: SKIM — The S, K, I Reduction Machine. LISP Conference, 1980: 128–135

External links


Шаблон:Compu-hardware-stub