diff --git a/docs/好书推荐.md b/docs/好书推荐.md index 0db1c285..af91f1f7 100644 --- a/docs/好书推荐.md +++ b/docs/好书推荐.md @@ -56,6 +56,7 @@ ## 计算机编程语言 +- 计算机程序的构造和解释 [[豆瓣](https://book.douban.com/subject/1148282/)] - [Essentials of Programming Languages](https://eopl3.com/) [[豆瓣](https://book.douban.com/subject/3136252/)] - [Practical Foundations for Programming Languages](https://www.cs.cmu.edu/~rwh/pfpl.html) [[豆瓣](https://book.douban.com/subject/26782198/)] - [Software Foundations](https://softwarefoundations.cis.upenn.edu/) [[豆瓣](https://book.douban.com/subject/25712292/)] [[北大相关课程](https://xiongyingfei.github.io/SF/2021/)] @@ -70,7 +71,6 @@ ## 理论计算机科学 -- 计算机程序的构造和解释 [[豆瓣](https://book.douban.com/subject/1148282/)] - Introduction to the Theory of Computation [[豆瓣](https://book.douban.com/subject/1852515/)] ## 密码学