Categories Algebraic Effects x 2 Algebraic theories 笔记 2 Algebraic theories 笔记 Practical Foundations for Programming Languages x 11 PFPL 笔记 - V Infinite Data Types PFPL 笔记 - IV Finite Data Types PFPL 笔记 - III Functional Types PFPL 笔记 - II Statics and Dynamics PFPL 笔记 - I Judgments and Rules