This site is updated infrequently. For up-to-date information, please visit the new OCaml website at ocaml.org.

[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

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

```