Daniel P. Friedman
3 published titles
The reasoned schemer
1 edition
- ISBN: 0262562146
- MIT Press
- 2005
- Details
Essentials of programming languages
1 edition
- ISBN: 9780262062794
- MIT
- 2008
- Details
The little prover
1 edition
- ISBN: 9780262527958
- MIT Press
- 2015
- Details