Static evaluation of functional programs.

Published in: SIGPLAN Symposium on Compiler Construction (1986)

Keyphrases

functional programs
term rewriting systems
database
artificial intelligence
general purpose
lazy evaluation
databases
database systems
stochastic grammar