How to Design Programs — a textbook for introductory programming, but also worthwhile for experience programmers who are new to “functional programming.”

Programming Languages: Application and Interpretation — a textbook on programming languages.

Program by Design — a workshop to train teachers using How to Design Programs in the classroom.

Bootstrap — a curriculum for middle-school students.

We welcome applications from students interested in Graduate Study.