Types and Inductive RelationsDiscusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
Blocks, Functions and ReferencesCovers blocks, functions, and references in C++, including scope, variables, function usage, interfaces, pointers, and references.
