Version française
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: Florian Hars <hars@b...>
Subject: Re: [Caml-list] Books on FPL
Oliver Bandel wrote:
> 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).

To add my standard comment: Don't google for CS papers, use citeseer.

  http://citeseer.nj.nec.com/cs?cs=1&q=tail-recursion

> 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

http://citeseer.nj.nec.com/cowles02consistently.html

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