Polymorphism: Cons-ListsCovers the concept of polymorphism in programming and the implementation of immutable linked lists in Scala.
Compiler Extension LabCovers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Debugging and OptimizationCovers types of errors in programming and emphasizes the importance of debugging and optimization techniques.
Solving Type ConstraintsExplains the process of solving type constraints using the unification algorithm and generalization for flexible type inference.
Java Programming: Strings and ArraysCovers fundamental programming and object-oriented programming concepts in Java, including variables, types, control structures, and basic algorithmic concepts.