Daniel P. Friedman

Books
Essentials of Programming Languages, third edition Essentials of Programming Languages, third edition
Essentials of Programming Languages, third edition
2008
The Little Typer The Little Typer
The Little Typer
2018
The Little Learner The Little Learner
The Little Learner
2023
The Little Prover The Little Prover
The Little Prover
2015
The Reasoned Schemer, second edition The Reasoned Schemer, second edition
The Reasoned Schemer, second edition
2018