add tapl

2021-12-12 22:09:44 +08:00 · 2021-12-12 22:09:44 +08:00 · ffe3d99523
parent f456f5f77b
commit ffe3d99523
1 changed files with 1 additions and 0 deletions
--- a/docs/好书推荐.md
+++ b/docs/好书推荐.md
@ -16,6 +16,7 @@
 - 龙书
 ## 计算机语言（PL）
 - Essentials of Programming Languages (EOPL)
+- Types and Programming Languages (TAPL) (https://www.cis.upenn.edu/~bcpierce/tapl/)
 ## 体系结构
 - Computer Architecture: A Quantitative Approach 5th Edition
 ## 分布式系统