diff --git a/docs/好书推荐.md b/docs/好书推荐.md
index a214bc2b..4594c888 100644
--- 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
 ## 分布式系统