Types and Inductive RelationsDiscusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
Subtyping and GenericsExplores subtyping, generics, type bounds, variance, covariance, and array typing challenges in Java and Scala.
Service Design BasicsIntroduces the basics of service design, including key models and processes, problem framing, co-creation, and customer journey mapping.
Quantum ChemistryCovers eigenvalues, eigenfunctions, Hermitian operators, and the measurement of observables in quantum chemistry.
