The Reasoned Schemer
epub
- Author: Daniel P. Friedman, William E. Byrd, Oleg Kiselyov, Jason Hemann
- Language: English
- Year: 2018
- Author: Daniel P. Friedman Matthias Felleisen Duane Bibby Gerald J. Sussman
- Language: English
- Year: 1995
- Author: Daniel P. Friedman, Matthias Felleisen
- Language: Chinese
- Year: 2017
- Author: Daniel P. Friedman Anurag Mendhekar
- Language: English
- Year: 2023
The Little Prover
epub
- Author: Daniel P. Friedman Carl Eastlund
- Language: English
- Year: 2015
- Author: Daniel P. Friedman William E. Byrd Oleg Kiselyov Jason Hemann
- Language: English
- Year: 2018
- Author: Daniel P. Friedman, Mitchell Wand
- Language: English
- Author: Daniel P. Friedman, Matthias Felleisen
- Language: English
- Year: 1995
- Author: Robert E. Filman Daniel P. Friedman
- Language: English
- Year: 1984