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 QAA14162 for caml-redistribution; Wed, 2 Feb 2000 16:03:47 +0100 (MET) 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 LAA13049 for ; Mon, 31 Jan 2000 11:18:58 +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 LAA03668 for ; Mon, 31 Jan 2000 11:18:57 +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 LAA26080 for ; Mon, 31 Jan 2000 11:18:48 +0100 (MET) Received: from aladin (ppp-172-83.villette.club-internet.fr [195.36.172.83]) by alexandre.pactenovation.fr with SMTP (Microsoft Exchange Internet Mail Service Version 5.5.2650.21) id DYRHAVP8; Mon, 31 Jan 2000 11:19:50 +0100 Message-ID: <001b01bf6bd4$af56bfc0$490ad227@aladin> From: =?iso-8859-1?Q?St=E9phane_Baubillier?= To: "CAML Mailing list" References: Subject: Re: Partial Evaluation Date: Mon, 31 Jan 2000 11:19:39 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" 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 Sender: weis > >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. > > well yes. But why do you ask? My question is what are the aims and the ends of this ? Are there some results of informations about it ? Thanks. PS : I heard about Partial Evaluation on a very good site : http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/web/language-research.html