Realm of Racket: Learn to Program, One Game at a Time!
How to Design Programs: An Introduction to Programming and Computing (The MIT Press)
The Little Schemer - 4th Edition
Land of Lisp: Learn to Program in Lisp, One Game at a Time!
The Little Typer (The MIT Press)
Structure and Interpretation of Computer Programs - 2nd Edition (MIT Electrical Engineering and Computer Science)
The Seasoned Schemer (The MIT Press)
The Little Prover (The MIT Press)
An Invitation to Applied Category Theory: Seven Sketches in Compositionality
How to Design Programs: An Introduction to Programming and Computing