Introduces the basics of service design, including key models and processes, problem framing, co-creation, and customer journey mapping.
Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.
Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Explores the challenges of null references in programming languages and proposes solutions to mitigate their drawbacks while ensuring compatibility with existing codebases.
Covers generating code for a compiler, translating an Amy program to WebAssembly, including memory management and pattern matching compilation.
