Explores designing implementation strategies for diseases of poverty, including identifying needs and barriers, using examples from malaria management.
Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Discusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
Covers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.
Covers the basics of variables in C++, including declaration, initialization, types, and assignments.
