An introduction to partial deduction

This publication has 17 references indexed in Scilit:

• A partial evaluator for the untyped lambda-calculus
  Journal of Functional Programming, 1991
• Mix: A self-applicable partial evaluator for experiments in compiler generation
  Higher-Order and Symbolic Computation, 1989
• Explanation-based generalisation = partial evaluation
  Artificial Intelligence, 1988
• A self-applicable partial evaluator and its use in incremental compilation
  New Generation Computing, 1988
• Derivation of Logic Programs
  Journal of the ACM, 1981
• On compiling embedded languages in LISP
  Published by Association for Computing Machinery (ACM) ,1980
• Symbolic Evaluation and the Analysis of Programs
  IEEE Transactions on Software Engineering, 1979
• Negation as Failure
  Published by Springer Nature ,1978
• A partial evaluator, and its use as a programming tool
  Artificial Intelligence, 1977
• A Transformation System for Developing Recursive Programs
  Journal of the ACM, 1977