1. Martin Erwig & Deling Ren (2004): Monadification of functional programs. Sci. Comput. Program. 52, pp. 101–129, doi:10.1016/j.scico.2004.03.004.
  2. Yoshihiko Futamura (1999): Partial Evaluation of Computation Process — An Approach to a Compiler-Compiler. Higher Order Symbol. Comput. 12, pp. 381–391, doi:10.1023/A:1010095604496.
  3. John Hatcliff (1999): Foundations of Partial Evaluation and Program Specialization. Available at
  4. P. Hudak (1998): Modular Domain Specific Languages and Tools. In: Proceedings of the 5th International Conference on Software Reuse, ICSR '98. IEEE Computer Society, Washington, DC, USA, pp. 134–.
  5. Neil D. Jones, Carsten K. Gomard & Peter Sestoft (1993): Partial evaluation and automatic program generation. Prentice-Hall, Inc., Upper Saddle River, NJ, USA.
  6. Ralf Lämmel (1999): Reuse by Program Transformation. In: Selected papers from the 1st Scottish Functional Programming Workshop (SFP 1999), Trends in Functional Programming 1. Intellect, pp. 144–153.
  7. C. Landauer & K.L. Bellman (1999): Generic programming, partial evaluation, and a new programming paradigm. In: System Sciences, 1999. HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on Track3, pp. 10 pp., doi:10.1109/HICSS.1999.772896.
  8. Anne-Françoise Le Meur, Julia L. Lawall & Charles Consel (2002): Towards bridging the gap between programming languages and partial evaluation. In: Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation, PEPM '02. ACM, pp. 9–18, doi:10.1145/503032.503033.
  9. Amin Shali & William R. Cook (2011): Hybrid Partial Evaluation. In: Proc. of ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications. (to appear).
  10. Peter Thiemann & Robert Glück (1995): The Generation of a Higher-Order Online Partial Evaluator. In: Fuji Workshop on Functional and Logic Programming, pp. 239–253.
  11. Todd L. Veldhuizen (1999): C++ Templates as Partial Evaluation. In: Partial Evaluation and Semantic-Based Program Manipulation, pp. 13–18.

Comments and questions to:
For website issues: