Partial Evaluators

Partial Evaluation

• Partial Evaluation and Automatic Program Generation
  • N.D. Jones, C.K. Gomard, and P. Sestoft. With chapters by L.O. Andersen and T. Mogensen.
  • Prentice Hall International, June 1993. xii + 415 pages. ISBN 0-13-020249-5.
  • Chapter 1

• An introduction to Partial Evaluation
  • N.D. Jones
  • A more elaborate version of chapter1 above

Type Specialization

• A Type Specialisation Tutorial
  • John Hughes
  • download

Partial Evaluation Systems

• Tempo Specializer - A Partial Evaluator for C