Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

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.

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 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.

Polymorphism and Proofs

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

Parameterized Types: Implementation and Inheritance Principles

Covers parameterized types, their implementation, advantages, weaknesses, and the principles of inheritance in programming.

Type Checking Lab

Focuses on implementing a type checker for Amy, covering name and type analysis, typing constraints generation, and the importance of type checking in compilation.

Abstract algebra and type classes

Covers abstract algebra concepts using type classes in Scala, including defining monoids, generalizing reduce functions, and typeclass laws.

Subtyping and Polymorphism

Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.