Stratified Functional Programs and Computational Complexity.

Published in: POPL (1993)

Keyphrases

functional programs
computational complexity
term rewriting systems
lazy evaluation
logic programs
functional language
stochastic grammar
functional programming
artificial intelligence
database
high level
data structure
search algorithm
logic programming