Martin Erwig & Deling Ren (2004):
Monadification of functional programs.
Sci. Comput. Program. 52,
pp. 101–129,
doi:10.1016/j.scico.2004.03.004.
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.
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–.
Neil D. Jones, Carsten K. Gomard & Peter Sestoft (1993):
Partial evaluation and automatic program generation.
Prentice-Hall, Inc.,
Upper Saddle River, NJ, USA.
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.
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.
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.
Amin Shali & William R. Cook (2011):
Hybrid Partial Evaluation.
In: Proc. of ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications.
(to appear).
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.
Todd L. Veldhuizen (1999):
C++ Templates as Partial Evaluation.
In: Partial Evaluation and Semantic-Based Program Manipulation,
pp. 13–18.