Arrows go from each prerequisite to the units that depend on it. Hover or focus a unit to highlight its path.
- Formal syntax and metavariables article
- Big-step operational semantics article
- Functions and parameters article
- Scope and local state article
- Bindings, free variables and alpha-equivalence article
- Capture-avoiding substitution article
- Untyped lambda calculus article
- Concurrency, interleavings and race conditions article
- Distributed systems and partial failure article
- Interrupt handlers and foreground-background concurrency article
- Linear and affine type disciplines article
- Ownership, borrowing and lifetimes article
- Environments and stores in language semantics article