Login / Signup
Compiling Laziness by Partial Evaluation.
Anders Bondorf
Published in:
Functional Programming (1990)
Keyphrases
</>
partial evaluation
explanation based generalization
xpath queries
database
domain theory
machine learning
knowledge base
data mining
decision trees
higher order
modal logic
learning algorithm
contextual information
decomposable negation normal form