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