Daniel P. Friedman

Daniel P. Friedman has been a Professor of Computer Science in the School of Informatics, Computing, and Engineering at Indiana University for nearly half a century and is the author of many books published by the MIT Press, including The Little Schemer and The Seasoned Schemer (with Matthias Felleisen); The Little Prover (with Carl Eastlund); The Reasoned Schemer (with William E. Byrd, Oleg Kiselyov, and Jason Hemann); and The Little Typer (with David Christiansen).