Essentials of Programming Languages, third edition More Books by Daniel P. Friedman & Mitchell Wand

The Little Learner

2023

The Little Typer

2018

The Little Prover

2015

The Reasoned Schemer, second edition

2018