The Little Learner The Little Learner
٢٠٢٣
The Reasoned Schemer, second edition The Reasoned Schemer, second edition
٢٠١٨
The Little Typer The Little Typer
٢٠١٨
Essentials of Programming Languages, third edition Essentials of Programming Languages, third edition
٢٠٠٨
The Little Prover The Little Prover
٢٠١٥