Practical Foundations for Programming Languages (Second Edition) by Robert Harper 🕑 2020-03-22T16:47:01+00:00; via news.ycombinator.com; try the Wayback Machine | edit An abbreviated version in PDF form is available for download from that page.