Login / Signup

Self-applicable Online Partial Evaluation of Pure Lambda Calculus.

Torben Æ. Mogensen
Published in: PEPM (1995)
Keyphrases
  • partial evaluation
  • lambda calculus
  • explanation based generalization
  • programming language
  • machine learning
  • predicate calculus