Version franaise
Home About Download Resources Contact us
Browse thread
[Caml-list] Books on FPL
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: oliver@f...
Subject: [Caml-list] Books on FPL
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.

      pdf :
  http://www.cs.hmc.edu/~keller/cs60book/

# 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



From: Sergey Goldgaber <sgoldgaber@yahoo.com>
Subject: Re: [Caml-list] Books on FPL
To: Oliver Bandel <oliver@first.in-berlin.de>, caml-list@inria.fr
Cc: ocaml_beginners@yahoogroups.com
Date: Sun, 16 Mar 2003 18:44:50 -0800 (PST)

>
> 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.

"Unix System Programming with Standard ML" ( available online at
http://web.access.net.au/felixadv/smlbook.html ), has a nice writeup on
tail recursion in the "loops and recursion" section.  The book also has
the desirable property that (at least in this section) it compares and
contrasts functional style with imperative style, including
representing the same problem in both C and SML.

I've only read the section on tail recursion, so I can't comment on the
rest of the book, but it looks very promising so far.


  --Sergey


__________________________________________________
Do you Yahoo!?
Yahoo! Web Hosting - establish your business online
http://webhosting.yahoo.com

-------------------
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

 + Origin: tyranny (2:5020/400)
/////////////////////////////////////////////////////////////////////////////

-------------------
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