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 KAA18569; Sun, 16 Mar 2003 10:25:05 +0100 (MET) 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 KAA19015 for ; Sun, 16 Mar 2003 10:25:03 +0100 (MET) Received: from hirsch.in-berlin.de (hirsch.in-berlin.de [192.109.42.6]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id h2G9P2f20003 for ; Sun, 16 Mar 2003 10:25:02 +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 h2G9P2Ft024875 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NOT); Sun, 16 Mar 2003 10:25:02 +0100 Received: from first.UUCP (uucp@localhost) by hirsch.in-berlin.de (8.12.8/8.12.8/Debian-2) with UUCP id h2G9P1Ne024873; Sun, 16 Mar 2003 10:25:01 +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 10:24:50 +0100 (CET) From: oliver@first.in-berlin.de (Oliver Bandel) Date: Sun, 16 Mar 2003 10:24:49 +0100 To: caml-list@inria.fr Cc: ocaml_beginners@yahoogroups.com Subject: [Caml-list] Books on FPL Message-ID: <20030316092449.GA560@first.in-berlin.de> Mail-Followup-To: oliver, caml-list@inria.fr, ocaml_beginners@yahoogroups.com Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline User-Agent: Mutt/1.3.28i X-Spam: no; 0.00; oliver:01 in-berlin:01 bandel:01 recursion:01 abstraction:01 hmc:99 primer:99 abstracted:01 fpls:01 lisp:01 htm:97 ciao:02 concrete:02 executable:03 recursive:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hello, this night I have looked for papers on tail-recursion. I found some interesting papers. But I also found books on FP-programming, which are highly interesting and available in web. # Recursion, Iteration # and # Functional Languages: http://www.cs.trinity.edu/~jhowland/ccsc98/ccsc98/ccsc98.html This author also has written texts about selecting languages in computer science education, and other interesting texts too. # Computer Science: # Abstraction to Implementation http://www.cs.hmc.edu/claremont/keller/webBook/index.htm Contains a Chapter on High-Level- and one one Low-Level- Functional Programming (Chap. 3 and Chap. 4). Covers Object-Oriented programming as well. # LISP Primer: http://grimpeur.tamu.edu/~colin/lp/ I have found other interesting material on tail-recursion, but did not add all these here. If the explanations in the above-books are not enough, ask me (or google). But one paper on tail-recursion (forgotten the URL, but the filename is: "primitive-slides.pdf") I can recommend: John Cowles, Consistelntly Adding Primitive Recursive Functions in ACL2 Explains tail-recursion in a more abstratced way, but does use abstracted formalisms: does not leave the programmers perspective and therefore is a very good attempt to do it abstract as well as grounded :) That's, what I like, and how programmers can learn new stuff, even if they are not researchers. (When formalisms are introduced more gently (maybe two-column page layout and on one column using this style of "concrete abstraction" and on the other column using formalisms, then you can gain more understanding in your readers... so, the mentioned paper can be seen as using an "example" as a specification/explanation of a concept. This is a very good attempt! Because functional languages are often explained as "executable" specifications, why not using this advantage of FPLs to explain the programming concepts? (...) )) Ciao, Oliver P.S.: It seems to me, that my style of writing texts should be a hint to start Lisp-Programming. ;-) ------------------- 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