A Self-Applicable Partial Evaluator for the Lambda Calculus.

Neil D. Jones Carsten K. Gomard Anders Bondorf Olivier Danvy Torben Æ. Mogensen

Published in: ICCL (1990)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
complex objects
case study
query processing
theorem proving