编程语言理论完全笔记

简单记录记录学习编程语言理论的过程 - 建设中...

学习路径

• 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