Explores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.
Explores the challenges of null references in programming languages and proposes solutions to mitigate their drawbacks while ensuring compatibility with existing codebases.
Introduces the fundamentals of vectors in C++, covering initialization, direct access, range-for loop, and specific functions.
Explores the Eigen library for linear algebra, covering vectors, matrices, arrays, memory management, reshaping, and per-component operations.
