Lambda the Ultimate

Includes the expected chapters on concurrent programming and robustness, of course.

In an attempt to combine some of the benefits of lazy and eager evaluation, I have implemented a language with an evaluation strategy which is strict with respect to divergence, but performs lazy evaluation on certain intermediate subterms to allow a more expressive use of recursion.

Does anybody have any references to work on similar evaluation schemes?

Tim Sweeney started this interesting Types-list thread. A summary of the responses he receieved is here.

Courtesy of Slashdot, and not really about languages per se, just an interesting project that happens to have been written in OCaml, dbfs.