Review by isovector - Practical Foundations for Programming Languages

Hard af. It's a thing I'd love to read, and I'm probably much better suited to the task now, but my god was it a challenging book.