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