New R. Harper book: Practical Foundations for Programming Languages

existentialtype.wordpress.com