简单记录记录学习编程语言理论的过程 - 建设中...
- Dan Grossman. Programming Languages
- Luca Cardelli. Type Systems
- B.C.Pierce. CIS500: Software Foundations
- Benjamin C.Pierce. Types and Programming Languages
- Robert Harper. Practical Foundations for Programming Languages
- Gerald Jay Sussman. Structure and Interpretation of Computer Programs