Programming Languages: Build, Prove, and Compare New Edition

Norman's Ramsey is a wonderful teacher who puts together courses that are deep and important. This book has been used for years as the basis for the programming languages course at Tufts, and many students tell us it is one of their most valuable experiences in CS. Very highly recommended!