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 PAA24118; Sun, 16 Mar 2003 15:40:06 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 PAA23908 for ; Sun, 16 Mar 2003 15:40:05 +0100 (MET) Received: from hirsch.in-berlin.de (hirsch.in-berlin.de [192.109.42.6]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h2GEe4X20734 for ; Sun, 16 Mar 2003 15:40:04 +0100 (MET) Received: from hirsch.in-berlin.de (localhost [127.0.0.1]) by hirsch.in-berlin.de (8.12.8/8.12.8/Debian-2) with ESMTP id h2GEe4Fw031107 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NOT); Sun, 16 Mar 2003 15:40:04 +0100 Received: from first.UUCP (uucp@localhost) by hirsch.in-berlin.de (8.12.8/8.12.8/Debian-2) with UUCP id h2GEe3nA031104; Sun, 16 Mar 2003 15:40:03 +0100 X-Envelope-From: oliver@first.in-berlin.de X-Envelope-To: caml-list@inria.fr Received: by first.in-berlin.de via sendmail from stdin id (Debian Smail3.2.0.114) Sun, 16 Mar 2003 15:22:42 +0100 (CET) From: oliver@first.in-berlin.de (Oliver Bandel) Date: Sun, 16 Mar 2003 15:22:42 +0100 To: caml-list@inria.fr Cc: ocaml_beginners@yahoogroups.com Subject: Re: [Caml-list] Books on FPL Message-ID: <20030316142241.GA303@first.in-berlin.de> Mail-Followup-To: oliver, caml-list@inria.fr, ocaml_beginners@yahoogroups.com References: <20030316092449.GA560@first.in-berlin.de> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline In-Reply-To: <20030316092449.GA560@first.in-berlin.de> User-Agent: Mutt/1.3.28i X-Spam: no; 0.00; oliver:01 in-berlin:01 bandel:01 caml-list:01 abstracted:01 ciao:02 wrote:03 recursive:03 functions:05 uses:06 programmers:06 0100,:08 john:09 formalisms:14 instead:15 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sun, Mar 16, 2003 at 10:24:49AM +0100, Oliver Bandel wrote: [...] > John Cowles, Consistelntly Adding Primitive Recursive > Functions in ACL2 > > Explains tail-recursion in a more abstratced way, but does not (!) > use abstracted formalisms: does not leave the programmers [...] Uses program-code instead! Ciao, Oliver ------------------- 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