PFPL 笔记 - XII Symbolic Data
笔记 12 Symbolic Data
Practical Foundations for Programming Languages
PFPL 笔记 - XI Types and Propositions
笔记 11 Types and Propositions
PFPL 笔记 - X Exceptions and Continuations
笔记 10 异常和 continuations
PFPL 笔记 - VII Subtyping
笔记 8 子类型
PFPL 笔记 - VI Dynamic Types
笔记 7
PFPL 笔记 - VI Dynamic Types
笔记 6 最详细的一集，因为我要讲解这部分（摊手 但是读得很开心！这章真是让我受益匪浅啊！
PFPL 笔记 - V Infinite Data Types
笔记 5
PFPL 笔记 - IV Finite Data Types
Practical Foundations for Programming Languages 是 Robert Harper 的一本书，而这是我写的笔记 4
PFPL 笔记 - III Functional Types
Practical Foundations for Programming Languages 是 Robert Harper 的一本书，而这是我写的笔记 3
PFPL 笔记 - II Statics and Dynamics
Practical Foundations for Programming Languages 是 Robert Harper 的一本书，而这是我写的笔记 2
PFPL 笔记 - I Judgments and Rules
Practical Foundations for Programming Languages 是 Robert Harper 的一本书，而这是我写的笔记