Concept

Covariance and contravariance (computer science)

Related lectures (27)

Functions: Python Basics

Covers the basics of functions in Python, including their definition, purpose, and usage.

Foundations of Scala: Modelling and Type Systems

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Variance: Definition and Typing Rules

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

Verifying Compiler: Spec# Approach

Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.

Variance and Combinatorial Search

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

Comparing Objects: Comparable vs Comparator

Covers the concepts of Comparable and Comparator interfaces in Java, explaining how classes implement these interfaces to enable object comparison.

Polymorphism 2: Heterogeneous Collections

Explores polymorphism in C++, covering heterogeneous collections, resource management, and memory handling.

Polymorphic Display in Java

Covers polymorphic display, default behavior, and abstract products in Java.

Compiler Extension Lab

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

Java: Polymorphism and Inheritance

Delves into Java's advanced features, such as constructors, polymorphism, and method overriding.

Abstract Classes: Virtual Methods in C++

Covers abstract classes and pure virtual methods in C++, including their implementation and syntax.

Inheritance: Method Hiding in Java

Covers method hiding in Java, focusing on Guerrier class redefinition.

Polymorphism and Type Testing

Explores object-oriented programming concepts, polymorphism, inheritance, and dynamic binding in Java, emphasizing the importance of correct object comparison.

Polymorphism in Object-Oriented Programming: Inclusion Mechanism

Covers polymorphism in object-oriented programming, focusing on inclusion polymorphism and its implementation through class hierarchies and virtual methods.

Introduction to Java: Final Modifier

Covers the final modifier in Java, ensuring program element immutability and stability.

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.

Monads: Concepts and Applications

Explores monads, their laws, Scala implementation, and practical applications in functional programming.

Object-Oriented Programming: Polymorphism

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

Kernel Build Process

Covers the kernel build process, patch submission, and Scala web application development.

Polymorphism and Proofs

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.