Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Covers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.
Covers the concept of polymorphism in programming and the implementation of immutable linked lists in Scala.
Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Explains the process of solving type constraints using the unification algorithm and generalization for flexible type inference.
