Implementing logical variables on a graph reduction architecture

This publication has 10 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• A parallel implementation of Flat Concurrent Prolog
  International Journal of Parallel Programming, 1986
• An abstract parallel graph reduction machine
  ACM SIGARCH Computer Architecture News, 1985
• Functional programing and the logical variable
  Published by Association for Computing Machinery (ACM) ,1985
• Simulated Performance of a Reduction-Based Multiprocessor
  Computer, 1984
• Object oriented programming in Concurrent Prolog
  New Generation Computing, 1983
• Data-Driven and Demand-Driven Computer Architecture
  ACM Computing Surveys, 1982
• A relational language for parallel programming
  Published by Association for Computing Machinery (ACM) ,1981
• Applications of feedback in functional programming
  Published by Association for Computing Machinery (ACM) ,1981
• A loosely-coupled applicative multi-processing system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979