Self-applicable Partial Evaluation for Pure Lambda Calculus.

Torben Æ. Mogensen

Published in: PEPM (1992)

Keyphrases

partial evaluation
lambda calculus
explanation based generalization
programming language
higher order
predicate calculus
database query languages
complex objects
program understanding
pairwise
xpath queries
object oriented
software engineering
logic programming
integrity constraints
reverse engineering