Moded flat GHC and its message-oriented implementation technique

This publication has 9 references indexed in Scilit:

• Message-oriented parallel implementation of Moded Flat GHC
  New Generation Computing, 1993
• A’UM —A stream-based concurrent object-oriented language—
  New Generation Computing, 1990
• Design of the Kernel Language for the Parallel Inference Machine
  The Computer Journal, 1990
• The family of concurrent logic programming languages
  ACM Computing Surveys, 1989
• Static inference of modes and data dependencies in logic programs
  ACM Transactions on Programming Languages and Systems, 1989
• Login: a logic programming language with built-in inheritance
  The Journal of Logic Programming, 1986
• PARLOG: parallel programming in logic
  ACM Transactions on Programming Languages and Systems, 1986
• Guarded horn clauses
  Published by Springer Nature ,1986
• Efficient unification over infinite terms
  New Generation Computing, 1984