Subtyping and PolymorphismExplores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.
Types in Lambda CalculusCovers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Advanced C Data TypesCovers advanced data types and memory management in C programming, emphasizing type consistency and dynamic array allocation.
Polymorphism and ProofsCovers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Types and Inductive RelationsDiscusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
