Cobweb — A combinator reduction architecture

This publication has 10 references indexed in Scilit:

• The categorical abstract machine
  Published by Springer Nature ,1985
• TUKI
  ACM SIGARCH Computer Architecture News, 1983
• A Practical Data Flow Computer
  Computer, 1982
• ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages
  Published by Association for Computing Machinery (ACM) ,1981
• HOPE
  Published by Association for Computing Machinery (ACM) ,1980
• SKIM - The S, K, I reduction machine
  Published by Association for Computing Machinery (ACM) ,1980
• Another algorithm for bracket abstraction
  The Journal of Symbolic Logic, 1979
• A new implementation technique for applicative languages
  Software: Practice and Experience, 1979
• Can programming be liberated from the von Neumann style?
  Communications of the ACM, 1978
• Wafer-scale integration-a fault-tolerant procedure
  IEEE Journal of Solid-State Circuits, 1978