- OCaml Programming: Correct + Efficient + Beautiful. This is the textbook for CS 3110 at Cornell. It originated as course notes over two decades of teaching by myself and other faculty. I began expanding and transforming it into a textbook in Fall 2018. As of Summer 2021, I am the author of about 40% of the words in the book, and all of the 200 embedded YouTube videos.
- Software Foundations. This textbook is used widely for upper-level classes in programming languages, including in CS 4160 at Cornell. I am a contributing author to Volume 1 (Logical Foundations) and Volume 3 (Verified Functional Algorithms).