Axioms for strict and lazy functional programs.

Robert F. Stärk

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

functional programs
term rewriting systems
lazy evaluation
logic programs
knowledge base
functional language
stochastic grammar
logic programming
first order logic
data mining
artificial intelligence
management system
programming language
functional programming