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?)
No comments:
Post a Comment