1. Andersen, L. O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, Department of Computer Science, University of Copenhagen (1994). DIKU-TR-94/19
2. Lect Notes Comput Sci;L. Birkedal,1994
3. Bjørner, D., Ershov, A. P., and Jones, N. D. (eds.): Partial Evaluation and Mixed Computation: selected papers from the IFIP TC2Workshop, October 1987. Special issue of New Generation Computing 6:2–3
4. Danvy, O.: Type-directed partial evaluation. In: Principles of Programming Languages: 23rd ACM SIGPLAN-SIGACT Symposium, POPL ’96. ACM Press, New York, NY, USA, 242–257.
http://ftp.daimi.au.dk/pub/empl/danvy/Papers/danvy-popl96.ps.gz
5. Futamura, Y.: Partial evaluation of computation process-an approach to a compiler-compiler. Systems, Computers, Controls 2 (1971) 45–50. Reprinted as [6]