From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA23019; Fri, 11 Oct 2002 09:08:39 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 JAA22659 for ; Fri, 11 Oct 2002 09:08:38 +0200 (MET DST) Received: from grisu.bik-gmbh.de (In-Planung---------X.BIK-GmbH.de [212.12.55.66] (may be forged)) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g9B78c525276 for ; Fri, 11 Oct 2002 09:08:38 +0200 (MET DST) Received: from hars.de (prony.bik-gmbh.de [194.233.237.133]) by grisu.bik-gmbh.de (8.12.3/8.12.3) with ESMTP id g9B78XU8070623; Fri, 11 Oct 2002 09:08:35 +0200 (CEST) (envelope-from florian@hars.de) Message-ID: <3DA678EA.4080400@hars.de> Date: Fri, 11 Oct 2002 09:08:26 +0200 From: Florian Hars User-Agent: Mozilla/5.0 (X11; U; Linux i686; de-AT; rv:1.1) Gecko/20020826 X-Accept-Language: de-de, en-us, en MIME-Version: 1.0 To: enrique_vetere@ciudad.com.ar CC: caml-list@inria.fr Subject: Re: [Caml-list] C.A.M.? References: Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk enrique_vetere@ciudad.com.ar wrote: > I'm trying to find (for download?) the paper > G. Cousineau, P.-L. Curien, and M. Mauny. The categorical abstract machine A mailing list is not a search engine. The canonical resource to answer questions like this is Citesser (http://citeseer.nj.nec.com/), which, incidentally, is also responsible for the first few links google gives you if you search for "catagorical abstract machine". The CAM seems to be too old for online documents, but starting there: http://citeseer.nj.nec.com/cs?cs=1&q=categorical+abstract+machine&submit=Citations you might find some interresting papers citing the paper (follow the "Context") links. Sometimes it is useful to paste some of the titles of papers that are not in the citeseer index into google, to find things like http://www.cs.bham.ac.uk/~exr/papers.html This should keep you busy over the weekend. Yours, Florian. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners