Danvy, O. & Hatcliff, J. (2000).
Partial Evaluation. In A. Ralston, E. Reilly & D. Hemmendinger (Eds.),
Encyclopedia of Computer Science (pp. 1370-1371). Macmillan Reference.
Danvy, O., Rhiger, M. & Grobauer, B. (2001).
A Unifying Approach to Goal-Directed Evaluation. In W. Taha (Ed.),
Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (pp. 108-125). Springer.
https://doi.org/10.1007/3-540-44806-3_7
Danvy, O. (1996).
Type-Directed Partial Evaluation. In
Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium (pp. 242-257). Association for Computing Machinery.