"Practical Foundations for Programming Languages" by Robert Harper [Version 1.8 of 07.22.2011.] via tanakh https://twitter.com/tanakh/status/94922798417461248