Robert Harper is a Professor of Computer Science at Carnegie Mellon University.
Librarian Note: There is more than one author in the Goodreads database with this name. This profile may contain books from multiple authors of this name.
If this book is ever finished (the draft lacks seven chapters) I will buy it and read it again. It doesn't only teaches how to program in Standard ML, it also teaches the fundamental mathematics behind functional programming and how to use them to write correct programs and to proof that they are correct besides some classical functional programming techniques.
Despite the author's obvious authority on the subject of SML, this book is pedagogically crappy. The ideal reader is an imaginary creature: a brilliant and motivated first-semester freshman with, at once, zero programming experience and a good deal of mathematical maturity. Except for those parts that do expect programming knowledge. Reading it, I kept asking myself, "Who the hell is this written for?" Note: I'm referring to the current draft version that's available on the web; the print edition is considered obsolete AFAIK.