Version française
Home     About     Download     Resources     Contact us    

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

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.

> 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

Yours, Florian.

To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: