理论计算机科学指南

• Author : CAIMEOX
• Last Updated: 2024-09-09

• 本文尽量详尽地列出函数式编程、 编程语言理论、 类型论三大领域的各类学习书籍以及学习路线，不要被如此多的书籍吓到，很多时候只需要了解其中一小部分即可。
• 建议先学习推荐的几门课程，随后开始阅读领域相关的书籍和论文，如果遇到困难，请与我们联系。