Arrows go from each prerequisite to the units that depend on it. Hover or focus a unit to highlight its path.
- Parametric polymorphism article
- Functions and parameters article
- Variables and values article
- Pure functions and immutable data article
- Typing judgments and static semantics article
- Effect systems article
- Higher-order functions and function composition article
- Mapping over computational context article
- Optional and fallible computations as explicit context article
- Lexical closures and captured environments article
- Continuations and continuation-passing style article
- Parametricity and free theorems article