Re: Lambda calculus and it relation to LISP

[ozan s yigit]

Christian Lemburg:

> For a good introduction to this very topic, read Essentials of
> Programming Languages, Daniel P. Friedman, Mitchell Wand, and
> Christopher T. Haynes, MIT Press, 1992. [description elided]

i should point out that there is a second edition published in 2001.
its chapter on types now includes type inferencing that i think used
to float about in the ftp area of their code directory. [the book is
now somewhat thinner, but i cannot tell if it now excludes some
material, or just has thinner pages]

oz
---
if you do not work on important problems
how can you expect to do important work? -- richard w. hamming