Subtyping and Polymorphism

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (31)

Page 1 of 4

Foundations of Scala: Modelling and Type Systems

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

Types and Inductive Relations

Discusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.

Introduction to Types and Inductive Relations

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

Polymorphism and Proofs

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

Subtyping and Generics

Explores subtyping, generics, type bounds, variance, covariance, and array typing challenges in Java and Scala.

Taming Null References

Explores the challenges of null references in programming languages and proposes solutions to mitigate their drawbacks while ensuring compatibility with existing codebases.

Variance and Combinatorial Search

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

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.

Polymorphism in Coq: Data Structures and Functions

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.

Type Checking and Reconstruction: Equations and Unification

Delves into type checking, reconstruction, equations, unification, Hindley/Milner system, polymorphism, and principal types.