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