Concept

Is-a

Related lectures (17)

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.

Exception Handling in Java

Covers the syntax for exception handling in Java, including 'throw', 'try', 'catch', and 'finally'.

Variance: Definition and Typing Rules

Explains variance relationships, typing rules for functions, and variance checks in Scala.

Generics and Subtyping

Covers advanced concepts in generics and subtyping in Java, focusing on LinkedList implementation and List interface.

Variance and Combinatorial Search

Covers subtyping, generics, variance, type bounds, covariance, contravariance, and combinatorial search.

Object-Oriented Programming: Core Features Analysis

Explores the core features of object-oriented programming, including dynamic dispatch, encapsulation, inheritance, and subtyping, using Java examples and practical insights.

Subtyping and Generics: Variance and Covariance

Explores subtyping, generics, variance, and covariance in Scala, along with collections, arrays, and combinatorial search.

Virtual Inheritance: C++

Covers virtual inheritance in C++, addressing attribute duplication and constructor order in hierarchies.

Object-Oriented Programming: Polymorphism

Covers the concept of polymorphism in object-oriented programming, including virtual methods and heterogeneous collections.

Subtyping and Generics in Scala

Explores subtyping, generics, and variance in Scala, emphasizing the importance of precise type descriptions and demonstrating practical applications of for expressions.

Algorithmic Subtyping: Transitivity Proof

Explores proving transitivity in algorithmic subtyping through induction and subtype relationships.

Subtyping and Type Calculus

Explores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.

Featherweight Java: Core OO Features Modeling

Introduces Featherweight Java, a minimalistic model to represent core object-oriented features.

Garbage Collection in Object-Oriented Languages

Explores garbage collection techniques in object-oriented languages, focusing on mostly-copying and generational GC, heap organization, promotion policies, and method dispatch challenges.

Introduction to Types and Inductive Relations

Explores the significance of types in programming and discusses unsound type systems and inductively defined relations.