Path: utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!axion!orion!psanders
From: psanders@axion.bt.co.uk (Paul Sanders)
Newsgroups: comp.lang.functional
Subject: Partial Evaluation References Sought
Message-ID: <1991Jan15.152424.19027@axion.bt.co.uk>
Date: 15 Jan 91 15:24:24 GMT
Sender: news@axion.bt.co.uk
Reply-To: psanders@axion.bt.co.uk
Organization: British Telecom Research Labs
Lines: 14
Organisation: British Telecom Research Labs, Martlesham Heath, IPSWICH UK

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.
------
"The intuitionistic tradition understands proofs as subjectivistic entities,
and develops an ideology of intensionality, which is often nothing more than
an alibi for taxonomy, whereas one may reasonably advocate that proofs are
the written trace of underlying geometric structures." - Jean-Yves Girard