• How to Design Programs
    Learn to design programs systematically.

  • Picturing Programs
    Learn to design programs systematically, with pictures.

  • Realm of Racket
    Learn to program with Racket, one game at a time; see also its companion site

  • Programming-Based Formal Languages and Automata Theory
    Learn Formal Languages and Automata Theory using FSM--A DSL embedded in Racket.

  • Animated Problem Solving
    Learn to design programs systematically using video games.

  • Animated Program Design
    Learn intermediate program design using video games.

  • Concrete Abstractions
    An introduction to computer science using Scheme.

  • Beautiful Racket
    Make your own programming languages with Racket.

  • Server: Racket
    Develop a web application with Racket.

  • Programming Languages:
    Application and Interpretation

    Principles of programming languages for undergraduates, graduate students, and experts.

  • Semantics Engineering with PLT Redex
    Semantics for language engineers: graduate students and practitioners alike.

  • Schreibe Dein Programm!
    German-language introduction to programming, based on design recipes.

  • Programmierparadigmen (2. Auflage)
    Eine Einführung auf der Grundlage von Racket.

  • Premiers Cours de Programmation avec Scheme
    Du fonctionnel pur aux objets avec DrRacket.

  • Racket Programming the Fun Way
    An introduction to the Racket functional programming language and DrRacket development environment to explore topics in mathematics (mostly recreational) and computer science.

  • Don’t Teach Coding: Until You Read This Book
    The definitive resource for understanding what coding is, designed for educators and parents