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 RAA26436 for caml-redistribution@pauillac.inria.fr; Fri, 28 Jan 2000 17:37:59 +0100 (MET)
Resent-Message-Id: <200001281637.RAA26436@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 QAA21836 for <caml-list@pauillac.inria.fr>; Fri, 28 Jan 2000 16:02:23 +0100 (MET)
Received: from bambi.iway.fr (bambi.iway.fr [194.98.65.10])
	by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id QAA02442
	for <caml-list@inria.fr>; Fri, 28 Jan 2000 16:02:21 +0100 (MET)
Received: from alexandre.pactenovation.fr (pactenovation-gw.iway.fr [194.98.144.67])
	by bambi.iway.fr (8.9.1/8.9.1) with ESMTP id QAA24092
	for <caml-list@inria.fr>; Fri, 28 Jan 2000 16:02:12 +0100 (MET)
Received: from aladin (ppp-107-187.villette.club-internet.fr [194.158.107.187]) by alexandre.pactenovation.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2650.21)
	id DYRHAV2H; Fri, 28 Jan 2000 16:03:15 +0100
Message-ID: <006101bf69a0$c54c0280$490ad227@aladin>
From: =?Windows-1252?Q?St=E9phane_Baubillier?= <stephane.baubillier@pactenovation.fr>
To: "CAML Mailing list" <caml-list@inria.fr>
Subject: Partial Evaluation
Date: Fri, 28 Jan 2000 16:02:54 +0100
MIME-Version: 1.0
Content-Type: text/plain;
	charset="Windows-1252"
Content-Transfer-Encoding: 7bit
X-Priority: 3
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook Express 5.00.2919.6600
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2919.6600
Resent-From: weis@pauillac.inria.fr
Resent-Date: Fri, 28 Jan 2000 17:37:59 +0100
Resent-To: caml-redistribution@pauillac.inria.fr

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.