Partial Evaluation for the Lambda Calculus.
Neil D. JonesCarsten K. GomardPeter SestoftPublished in: Partial Evaluation (1998)
Keyphrases
- partial evaluation
- lambda calculus
- explanation based generalization
- programming language
- predicate calculus
- database query languages
- higher order
- domain theory
- complex objects
- xpath queries
- program understanding
- formal model
- machine learning
- integrity constraints
- general purpose
- software engineering
- database systems