Login / Signup
Generalising Deforestation for All First-Order Functional Programs.
W.-N. Chin
Published in:
JTASPEFT/WSA (1991)
Keyphrases
</>
functional programs
term rewriting systems
lazy evaluation
logic programs
first order logic
functional language
stochastic grammar
knowledge representation
artificial intelligence
knowledge base
data structure
data management
horn clauses
model theoretic