Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.
Explores subtyping, generics, type bounds, variance, covariance, and array typing challenges in Java and Scala.
Explores the challenges of null references in programming languages and proposes solutions to mitigate their drawbacks while ensuring compatibility with existing codebases.
Explores type inference in statically typed languages, using algorithms to assign types to program expressions accurately.
Explores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.
