• 0
    いいね
  • 0
    コメント
    この記事は最終更新日から1年以上が経過しています。

    Reading Notes for the book "Practical Foundations for Programming Languages, 2nd Edition".

    Releases

    Each chapter is independent of one another. But it's recommended to read the first three chapters first.

    • Abstract Syntax
    • Inductive Definitions
    • Hypothetical and General Judgments
    • Statics and Dynamics
    • Type Safety
    • Gödel's T
    • Girard's System F
    • Plotkin's PCF
    • Church's Untyped $ \lambda $ calculus
    • Constructive Logic and Classical Logic
    • Subtyping
    • Continuations
    • Lazy Evaluation
    • Equational Reasoning