Login / Signup
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