I just have to say, I love Robert Harper's blog. He writes like I imagine Paul Graham would, if he were a slightly pedantic college professor--with crisp senten

I just have to say, I love Robert Harper's blog. He writes like I imagine Paul Graham would, if he were a slightly pedantic college professor--with crisp sentences that make points, dammit. His book on Standard ML is wonderful: http://www.cs.cmu.edu/~rwh/smlbook/book.pdf http://www.cs.cmu.edu/~rwh/smlbook/book.pdf