Functional Programming

Harold Abelson, and Gerald Jay Sussman. Structure and Interpretation of Computer Programs, 2nd edition. PDF.

"The material in this book has been the basis of MIT's entry-level computer science subject since 1980. We had been teaching this material for four years when the first edition was published, and twelve more years have elapsed until the appearance of this second edition. "In preparing this [2nd] edition, we have redesigned most of the major programming systems in the book, including the generic-arithmetic system, the interpreters, the register-machine simulator, and the compiler; and we have rewritten all the program examples to ensure that any Scheme implementation conforming to the IEEE Scheme standard (IEEE 1990) will be able to run the code. "This edition emphasizes several new themes. The most important of these is the central role played by different approaches to dealing with time in computational models: objects with state, concurrent programming, functional programming, lazy evaluation, and nondeterministic programming." A new HTML5 rendering of the TeXinfo lets this manifest "approach the quality of LaTeX output by using the HTML5 toolbox: JavaScript, CSS3, SVG, MathJax, MathML, and web fonts."