Daniel P. Friedman is Professor of Computer Science at Indiana University. He is co-author of The Little Prover, The Little Schemer, The Seasoned Schemer, The Reasoned Schemer, Scheme and the Art of Programming, and Essentials of Programming Languages, 3rd Edition, all published by MIT Press.