Categories Practical Foundations for Programming Languages x 11 PFPL 笔记 - XII Symbolic Data PFPL 笔记 - XI Types and Propositions PFPL 笔记 - X Exceptions and Continuations PFPL 笔记 - VII Subtyping PFPL 笔记 - VI Dynamic Types Algebraic Effects x 2 Algebraic theories 笔记 2 Algebraic theories 笔记