Partial Evaluation References Sought

Article View: comp.lang.functional

Article #739

Back to comp.lang.functional Previous Next

#739

From: Paul Sanders
Date: Tue, 15 Jan 1991 15:24

14 lines
1067 bytes

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

Technical Details

Message-ID: <1991Jan15.152424.19027@axion.bt.co.uk>

Path:

arc1-ca.pugleaf.net!utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!axion!orion!psanders

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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