Another similar book is Harper's Practical Foundations for Programming Languages[1]. I had the privilege of taking a course[2] about this kind of stuff with Pro

Another similar book is Harper's Practical Foundations for Programming Languages[1]. I had the privilege of taking a course[2] about this kind of stuff with Prof. Harper at CMU. [1]: https://www.amazon.com/Practical-Foundations-Programming-Languages-Robert/dp/1107150302/ https://www.amazon.com/Practical-Foundations-Programming-Lan... [2]: https://www.cs.cmu.edu/~rwh/courses/ppl/ https://www.cs.cmu.edu/~rwh/courses/ppl/