Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!bloom-beacon!eru!hagbard!sunic!dkuug!diku!sestoft
From: sestoft@diku.dk (Peter Sestoft)
Newsgroups: comp.lang.functional
Subject: Re: Partial Evaluation References Sought
Message-ID: <1991Jan16.112905.2355@odin.diku.dk>
Date: 16 Jan 91 11:29:05 GMT
References: <1991Jan15.152424.19027@axion.bt.co.uk>
Sender: news@odin.diku.dk (Netnews System)
Organization: Department of Computer Science, U of Copenhagen
Lines: 36

psanders@axion.bt.co.uk (Paul Sanders) writes:

>Can anybody supply me with some definitive references on partial 
>evaluation ? 

I (try to) keep a fully updated and partially annotated bibliography
on partial evaluation papers.  It is in Bibtex format and is a rather
large file.  I am willing to tarmail it to people that would like to
have it.  (In which case I would appreciate that people send possible
future updates to me).

>I'm ideally looking for a good introduction to the
>topic and maybe some papers discussing some applications.

"Our" classical paper :-) is:

N.D. Jones, P. Sestoft and H. S{\o}ndergaard,
Mix: A Self-Applicable Partial Evaluator for Experiments in Compiler
Generation, Lisp and Symbolic Computation 2, 1 (1989) 9-50.
 
"A comprehensive discussion of partial evaluation, its applications to
generation of compilers and compiler generators, and of engineering
problems is given.  A fully automatic version of the partial evaluator
discussed in \cite{Jones:85:AnExperiment} is described and results
from its use are reported."

There are lots of more recent papers.  Notable recent work which
continues the above is Anders Bondorf's "Similix" system for partial
evaluation of Scheme.  A Ph.D. report describing this should soon be
obtainable from the author (anders@diku.dk).

Peter
-- 
Peter Sestoft  *  sestoft@diku.dk   *   DIKU,  Department of Computer Science
University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen O, Denmark
Tel: +45 31 39 64 66  *  Direct: +45 31 39 33 11/406  *  Fax: +45 31 39 02 21