Supporting Reasoning about Functional Programs: An Operational Approach.

Published in: Functional Programming (1995)

Keyphrases

functional programs
term rewriting systems
logic programs
lazy evaluation
stochastic grammar
functional language
databases
data mining
knowledge representation
management system