Liskov substitution principle

Formal sciences
Theoretical computer science
Programming language theory
Topics in programming langu...

Formal sciences
Theoretical computer science
Programming language theory
High-level programming lang...

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 1 of 4

Subtyping and Generics

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

Subtyping and Polymorphism

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

Variance and Combinatorial Search

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

Foundations of Scala: Modelling and Type Systems

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

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.

Unfolding recursive functions in Stainless

Covers the concept of unfolding recursive functions using the Stainless tool.

Introduction to Stainless: First Steps with Stainless

Introduces the Stainless verification tool with examples of verifying commutativity properties and arithmetic operations.

Functions: Python Basics

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

Subtyping and Generics: Variance and Covariance

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

Python Programming: Immutable and Mutable Objects

Explains the differences between mutable and immutable objects in Python, focusing on lists, sets, and their behaviors.