Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Covers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.
Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.
