Type System Courses

Python Types for Fun and Profit
PyCon US via YouTube

Static Typing in Python
PyCon US via YouTube

Simplest Strong Typing Instead of Language Proposal
CppNow via YouTube

Rethinking Pointers
CppNow via YouTube

Fun with Boost.Hana
CppNow via YouTube

Haskell Taketh Away - Limiting Side Effects for Parallel Programming
CppNow via YouTube

Why Algebraic Data Types Are Important
code::dive conference via YouTube

Building C++ Interfaces That Are Hard to Use Incorrectly
ACCU Conference via YouTube

Rust for the Recalcitrant C++ Programmer - ACCU 2023
ACCU Conference via YouTube

C# Values and Value Types
ACCU Conference via YouTube