SICP & HTDP Books: Structure and Interpretation of Computer Programs - Gerald Jay Sussman and Hal Abelson ENG RUS How to Design Programs - Matthew Flatt, Matthias Felleisen, Robert Bruce Findler, and Shriram Krishnamurthi ENG Introduction to Functional Programming - John Harrison ENG RUS Types and Programming Languages - Benjamin C. Pierce ENG RUS A theory of Objects - Martín Abadi, Luca Cardelli ENG Blogs: http://matt.might.net/ http://alexott.net/