An updated PL theory book by Bob Harper. Often shorted to PFPL.
- Judgment and rules
- Statics and dynamics
- Total functions
- Finite data types
- Types and propositions
- Infinite data types
- Variable types
- Partiality and recursive types
- Dynamic types
- Subtyping
- Dynamic dispatch
- Control flow
- Symbolic data
- Mutable state
- Parallelism
- Concurrency and distribution
- Modularity
- Equational reasoning
- Appendices.
Available at https://github.com/RobertHarper/pfpl-syntax