- If you have a Postscript printer or Postscript emulator, use the Postscript version (2.3 MB)
- If you want to read it from the screen, use the PDF versions: PDF (US letter) (1.7 MB) or PDF (A4) (1.7 MB).
- Browse full text at Google Books.

Let p be a program which takes two inputs d1 and d2. Ordinarily, the application of p to (d1,d2) would be evaluated in one step:

Evaluate p with input (d1, d2), to produce the result res.However, alternatively it may be evaluated in two steps:

(1) Partially evaluate p with input d1, to produce a new program r. (2) Evaluate r with input d2, to produce the result res.The program r is a specialized version of p (for the particular value d1 of the first input), and is called a

With chapters by L.O. Andersen and T. Mogensen.

Prentice Hall International, June 1993. xii + 415 pages. ISBN 0-13-020249-5.

List price: 44.95 US dollars.

Reviewed in Computing Reviews 35(7): 346-347, 1994, entry 9407-0420.

**Getting a paper copy** may be harder; the book is out of
print. You may find it second-hand somewhere, or else you may contact
Neil D. Jones or Peter Sestoft to see if we have any copies left.

- Neil Jones retired from his professorship at DIKU, University of Copenhagen, in March 2007.
- Carsten Gomard is a partner and co-founder of Netcompany.
- Peter Sestoft is at the IT University of Copenhagen.

- The preface
- The table of contents
- The example partial evaluator used in Chapter 4 (implemented in Prolog, thanks to Zerksis Umrigar)
- The example partial evaluator used in Chapter 5 (implemented in Scheme, updated 2012)
- The Similix partial evaluator described in Chapter 10 (developed by Bondorf and Danvy)
- The C-Mix partial evaluator described in Chapter 11, developed by Lars Ole Andersen, seems to be longer available online (3 October 2012).

- A group picture from the October 1987 Workshop on Partial Evaluation and Mixed Computation at Gl. Avernęs, Denmark. A key to the people in the picture can be found on pages xxx-xxxi of D. Bjørner, A.P. Ershov, and N.D. Jones, editors, Partial Evaluation and Mixed Computation. North-Holland, 1988.
- A more recent collection of partial evaluation resources.
- A comprehensive bibliography on partial evaluation
- The PEPM'94 proceedings
- The Unmix and Semilux partial evaluators for MS DOS, developed by Sergei Romanenko. Uncompress with unarj .

Peter Sestoft 1996-10-15, 2012-10-03