Partial Evaluation Papers

Tutorial on Online Partial Evaluation

• authors: William R. Cook, Ralf Lämmel
• date: 2011
• url: https://arxiv.org/abs/1109.0781

.

Tutorial notes on partial evaluation

• authors: Charles Consel, Olivier Danvy
• publication: Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
• date: 1993
• url: https://dl.acm.org/doi/abs/10.1145/158511.158707

.

Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler

• authors: Yoshihiko Futamura
• date: 1971
• url: https://static.aminer.org/pdf/PDF/001/006/665/partial_evaluation_of_computation_process_an_approach_to_a_compiler.pdf

.

A partial evaluator for the untyped lambda-calculus

• authors: Carsten K. Gomard, Neil D. Jones
• date: 2008
• url: https://www.cambridge.org/core/journals/journal-of-functional-programming/article/partial-evaluator-for-the-untyped-lambdacalculus/EE324F936F0A009B6766B13FF6755DFC
• publication: Journal of Functional Programming
• topics: Partial Evaluation, Lambda Calculus

.