A Symbolic Calculator for Non-Strict Functional Programs.

Published in: Comput. J. (1994)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
functional language
stochastic grammar
functional programming
programming language
general purpose
databases
artificial intelligence
multi agent
query language
knowledge representation
distributed systems