From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: weis
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA11028 for caml-redistribution@pauillac.inria.fr; Wed, 2 Feb 2000 23:06:44 +0100 (MET)
Resent-Message-Id: <200002022206.XAA11028@pauillac.inria.fr>
Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA23898 for <caml-list@pauillac.inria.fr>; Wed, 2 Feb 2000 18:53:41 +0100 (MET)
Received: from animal.cs.chalmers.se (animal.cs.chalmers.se [129.16.225.30])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id SAA14088
	for <caml-list@inria.fr>; Wed, 2 Feb 2000 18:53:39 +0100 (MET)
Received: from lips.cs.chalmers.se (lips.cs.chalmers.se [129.16.225.31])
	by animal.cs.chalmers.se (8.8.5/8.8.5) with ESMTP id SAA15501;
	Wed, 2 Feb 2000 18:53:37 +0100 (MET)
Received: from localhost (taha@localhost)
	by lips.cs.chalmers.se (8.8.5/8.8.5) with ESMTP id SAA21711;
	Wed, 2 Feb 2000 18:53:37 +0100 (MET)
X-Authentication-Warning: lips.cs.chalmers.se: taha owned process doing -bs
Date: Wed, 2 Feb 2000 18:53:36 +0100 (MET)
From: Walid Taha <taha@cs.chalmers.se>
To: =?Windows-1252?Q?St=E9phane_Baubillier?= <stephane.baubillier@pactenovation.fr>
cc: CAML Mailing list <caml-list@inria.fr>
Subject: Re: Partial Evaluation
In-Reply-To: <006101bf69a0$c54c0280$490ad227@aladin>
Message-ID: <Pine.SOL.4.21.0002021835370.20680-100000@lips.cs.chalmers.se>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=ISO-8859-1
Content-Transfer-Encoding: 8BIT
Resent-From: weis@pauillac.inria.fr
Resent-Date: Wed, 2 Feb 2000 23:06:44 +0100
Resent-To: caml-redistribution@pauillac.inria.fr


Hello,

On Fri, 28 Jan 2000, [Windows-1252] Stéphane Baubillier wrote:

> Did someone hear about Partial Evaluation ?
> (http://www.diku.dk/research-groups/topps/activities/PartialEvaluation.html)
> 
> It seems to be an optimization technique using functions partial evaluation.

I have certainly heard about partial evaluation, and the link you have
found here is a good starting point.  I do recommend the first book listed
on that page, and would also like to emphasise that there has been a
long standing symposium/workship on partial evaluation, called PEPM.

If you would be more specific about which aspects of partial evaluation
you are interested in, I maybe able to help.

Walid.