From ffe3d995235182db814a6dff228bf7f6c5615d8b Mon Sep 17 00:00:00 2001
From: horsebridge <1800011036@pku.edu.cn>
Date: Sun, 12 Dec 2021 22:09:44 +0800
Subject: [PATCH] add tapl

---
 docs/好书推荐.md | 1 +
 1 file changed, 1 insertion(+)

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
 ## 分布式系统