Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.
Covers the basics of image processing using Fiji software, focusing on managing files and applying filters.
Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Covers the declaration and initialization of arrays in Java, including syntax rules and techniques for initializing elements.
Explores the challenges of null references in programming languages and proposes solutions to mitigate their drawbacks while ensuring compatibility with existing codebases.
Covers Java variables, including declaration, initialization, assignments, and constants, highlighting naming conventions and dynamic assignments.
Explores subtyping, generics, type bounds, variance, covariance, and array typing challenges in Java and Scala.
Covers advanced concepts in generics and subtyping in Java, focusing on LinkedList implementation and List interface.
Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Covers the introduction to arrays in Java, focusing on structured data representation and efficient data manipulation.
Covers the concept of generics in Java, focusing on implementation and usage.
Covers deep copy in Java, including polymorphic copy and the clone method.
