put sicp to pl section

This commit is contained in:
AsukaMinato 2022-08-25 20:34:47 +08:00 committed by GitHub
parent cfbffd2b18
commit 4e7dd0768d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -56,6 +56,7 @@
## 计算机编程语言 ## 计算机编程语言
- 计算机程序的构造和解释 [[豆瓣](https://book.douban.com/subject/1148282/)]
- [Essentials of Programming Languages](https://eopl3.com/) [[豆瓣](https://book.douban.com/subject/3136252/)] - [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/)] - [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/)] - [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/)] - Introduction to the Theory of Computation [[豆瓣](https://book.douban.com/subject/1852515/)]
## 密码学 ## 密码学