From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id NAA23310 for caml-red; Wed, 2 Aug 2000 13:10:28 +0200 (MET DST)
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id JAA22491 for <caml-list@pauillac.inria.fr>; Mon, 31 Jul 2000 09:20:17 +0200 (MET DST)
Received: from ontil.ihep.su (ontil.ihep.su [194.190.161.63])
	by concorde.inria.fr (8.10.0/8.10.0) with ESMTP id e6V7KE107625
	for <caml-list@inria.fr>; Mon, 31 Jul 2000 09:20:14 +0200 (MET DST)
Received: from localhost (vsl@localhost)
	by ontil.ihep.su (8.9.3/8.8.7) with ESMTP id LAA21521;
	Mon, 31 Jul 2000 11:11:50 +0400
Date: Mon, 31 Jul 2000 11:11:46 +0400 (MSD)
From: Vitaly Lugovsky <vsl@ontil.ihep.su>
To: Markus Mottl <mottl@miss.wu-wien.ac.at>
cc: John BEPPU <beppu@lineo.com>, caml-list@inria.fr
Subject: Re: help an o'caml beginner
In-Reply-To: <20000727205627.B21080@miss.wu-wien.ac.at>
Message-ID: <Pine.LNX.4.10.10007311110110.21508-100000@ontil.ihep.su>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Sender: weis@pauillac.inria.fr

On Thu, 27 Jul 2000, Markus Mottl wrote:

> Btw., algorithms 2 + 3 can both be generated by automatic program
> transformation. If you want to learn more about this, read:
> 
> @Article{Pettorossi-Proietti96,

 Can this article be found on a WEB?

--

   V.S.Lugovsky aka Mauhuur (http://ontil.ihep.su/~vsl) (UIN=45482254)