Lectures related to Parametric polymorphism

Polymorphism and Proofs

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

Subtyping and Polymorphism

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

Virtual Methods in C++

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

Object-Oriented Programming: Polymorphism in C++

Explores polymorphism in C++ through character interactions and dynamic link resolution.

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.

Types and Inductive Relations

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

Functions: Python Basics

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

Object-Oriented Programming: Polymorphism and Pointers

Explores object-oriented programming concepts like polymorphism and pointers in C++.

Heterogeneous Collections in C++

Explores the implementation of heterogeneous collections in C++, emphasizing clean design choices for users.

Introduction to Types and Inductive Relations

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

Type Classes: Basics and Implementation

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

Deep Copy in Java

Covers deep copy in Java, including polymorphic copy and the clone method.

Type Checking and Reconstruction: Equations and Unification

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

Parameterized Types: Implementation and Inheritance Principles

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

Polymorphism: Cons-Lists

Covers the concept of polymorphism in programming and the implementation of immutable linked lists in Scala.

Abstract Data Structures in C++

Covers procedural and object-oriented programming, abstract data structures, templates, and the C++ standard library.

Introduction to Object-Oriented Programming

Covers the basics of object-oriented programming in C++, including encapsulation, abstraction, and the importance of grouping data and methods.

Object Copying and Encapsulation

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

Polymorphism 2: Heterogeneous Collections Log in to Mediaspace to watch this video

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

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.