partial-eval.org

General Resources

• An Overview of Partial Evaluation [External link]
• Implementations of Partial Evaluation, for various Languages
• Events related to Partial Evaluation
• Journal Special Issues related to Partial Evaluation
• Books
• PEPT Mailing List, maintained by Eijiro Sumii [External link]

Online Bibliography of Partial Evaluation Research

This online bibliography collects together links to technical papers and theses related to partial evaluation.

• Tutorials and Surveys
• Theory and Techniques
• Partial Evaluators for the Lambda Calculus
• Partial Evaluators for Scheme and Functional Programming Languages
• Partial Evaluators for C and Imperative Languages
• Partial Evaluators for Java and Object-Oriented Languages
• Techniques and Implementations of Logic Program Specialization
• Applications of Partial Evaluation

• Browse by Author

An older, but more comprehensive bibliography on partial evaluation is available from Peter Sestoft's web site.