1

Beckman, L. et al, A partial evaluator and its use as a programming tool, Art. Int. 7, 4 (1976) 319--357

2

Pär Emanuelson , Anders Haraldsson, On compiling embedded languages in LISP, Proceedings of the 1980 ACM conference on LISP and functional programming, p.208-215, August 25-27, 1980, Stanford University, California, United States  [doi>10.1145/800087.802808]

3

Ershov, A., On the partial evaluation principle, Inf. Proc. Letters 6, 2 (April 1977) 38--41

4

Ershov, A., Mixed computation: potential applications and problems for study, Theor. Comp. Sci. 18 (1982) 41--67

5

Futamura, Y., Partial evaluation of computation process - an approach to a compiler-compiler, Systems, Computers, Controls 2, 5 (1971) 721--728

6

Jones, N. D., P. Sestoft & H. S$oSndergaard, An Experiment in Partial Evaluation: The Generation of a Compiler Generator, DIKU Report no. 85/1, University of Copenhagen, Denmark (1985)

7

Kahn, K. & M. Carlsson, The compilation of Prolog programs without the use of a Prolog compiler, Proc. Int. Conf. Fifth Generation Computer Systems, Tokyo, Japan (1984) 348--355

8

Valentin F. Turchin, Semantic definitions in REFAL and the automatic production of compilers, Semantics-Directed Compiler Generation, Proceedings of a Workshop, p.441-474, January 14-18, 1980

9

Valentin F. Turchin , Robert M. Nirenberg , Dimitri V. Turchin, Experiments with a supercompiler, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.47-55, August 15-18, 1982, Pittsburgh, Pennsylvania, United States  [doi>10.1145/800068.802134]

Shan-Jon Chao , Barrett R. Bryant, Denotational data flow analysis for parallel implementation of imperative programs, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.17-26, February 1988, Atlanta, Georgia, United States

Shan-Jon Chao , Barrett R. Bryant, Denotational semantics for program analysis, ACM SIGPLAN Notices, v.23 n.1, p.83-91, Jan., 1988

Frank G. Pagan, Partial computation as a practical aid in the compiler construction course, ACM SIGCSE Bulletin, v.21 n.2, p.2-7, June 1989

Neil D. Jones: colleagues

Peter Sestoft: colleagues

Harald Søndergaard: colleagues