getting started in programming language theory

These are the two textbook resources I’m reading to get myself up to speed:

The second book, PLLC, is a very good book that appears to cover the same material as in Benjamin Pierce’s Types and Programming Languages. (Why do all these textbooks have four-letter acronyms?)

Leave a Reply

Your email address will not be published. Required fields are marked *