Essentials of Programming Languages

Textbook by Daniel P. Friedman and Mitchell Wand