Lectures related to Polymorphism: Cons-Lists

Polymorphism and Proofs

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

Functions: Python Basics

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

Functional Programming: Concepts and Implementation

Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.

Foundations of Scala: Modelling and Type Systems

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

Subtyping and Polymorphism

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

Type Classes: Basics and Implementation

Covers the basics of type classes in Scala, implementation examples, and advantages over class extension.

Variance and Combinatorial Search

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

Introduction to Types and Inductive Relations

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

Heterogeneous Collections in C++

Covers heterogeneous collections in C++, including generic treatments and polymorphic behavior using pointers.

Object Copying and Encapsulation

Explores object copying, encapsulation, and the importance of defensive copying in Java.

Types and Inductive Relations

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

Class hierarchies: pattern matching

Covers class hierarchies, pattern matching, function values, and function calls in Scala.

Parameterized Types: Implementation and Inheritance Principles

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

Type-Directed Programming: Using Clauses

Covers using clauses, context bounds, given instances, and implicit parameter resolution in Scala.

Virtual Methods in C++

Covers polymorphism in C++ through virtual methods, explaining method resolution and the interaction with constructors.

Object-Oriented Programming: Concepts and Applications

Introduces the fundamental concepts of object-oriented programming using C++, focusing on encapsulation, inheritance, and polymorphism with practical coding examples.

Type Checking and Reconstruction: Equations and Unification

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

Introduction to Programming: Basics of C Language

Covers the basics of programming in C, including variables, constants, arrays, and functions.

Subtyping and Generics in Scala Log in to Mediaspace to watch this video

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

Polymorphism in Coq: Data Structures and Functions Log in to Mediaspace to watch this video

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