A Self-Applicable Partial Evaluator for the Lambda Calculus: Correctness and Pragmatics.

Carsten K. Gomard

Published in: ACM Trans. Program. Lang. Syst. (1992)

Keyphrases

lambda calculus
programming language
predicate calculus
natural language processing
database query languages
higher order
complex objects
program understanding