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