Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!strath-cs!cs.glasgow.ac.uk!jl
From: jl@cs.glasgow.ac.uk (John Launchbury)
Newsgroups: comp.lang.functional
Subject: Re: Partial Evaluation References Sought
Message-ID: <7448@vanuata.cs.glasgow.ac.uk>
Date: 17 Jan 91 10:49:32 GMT
References: <1991Jan15.152424.19027@axion.bt.co.uk>
Organization: Computing Sci, Glasgow Univ, Scotland
Lines: 26

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

>Can anybody supply me with some definitive references on partial 
>evaluation ? I'm ideally looking for a good introduction to the
>topic and maybe some papers discussing some applications.

>Can anyone help ?

>Cheers,

>Paul.

As Peter Sestoft (almost) says, the DIKU group in Copenhagen is the
origin of much of the recent work in partial evaluation. Perhaps the
standard reference is the "Red Book" which contains papers from the
1987 Danish workshop on Partial Evaluation and Mixed Computation
(published by North-Holland, eds Bjorner, Ershov and Jones). Since then
much work has been done including papers and PhDs. These have appeared
in journals and conference proceedings, and as departmental technical
reports. As far as I know, the only book apart from the "Red Book"
is my thesis Projection Factorisations in Partial Evaluation (due to be
published by Cambridge University Press in May this year), which begins
with a comprehensive introduction to the subject. I know this seems like
advertising, but you did ask!!

John.