Type Theory & Type Systems Courses and Certifications

Strange Loop Conference

Type-Driven Program Synthesis

Explore type-driven program synthesis using refinement types and SMT solving to generate functional programs and repair information-flow leaks.

• YouTube
• 40 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

A Little Taste of Dependent Types

A hands-on introduction to dependent types through Pie, where programs and mathematical proofs become the same thing.

• YouTube
• 39 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Dependent Types in Haskell

Explore how dependent type theory has shaped GHC and Haskell programming through an extended example of type-indexed data.

• YouTube
• 39 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Understanding TypeScript's Structural Type System

Explore how TypeScript’s structural type system expresses invariants while preserving JavaScript’s flexibility, and how it differs from nominal typing.

• YouTube
• 38 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Categories for the Working Hacker

An accessible introduction to category theory for developers, using products, sums, and functions to connect logic, types, and programs.

• YouTube
• 42 minutes
• Self-Paced
• Conference Talk

Strange Loop Conference

Proof Theory Impressionism - Blurring the Curry-Howard Line

Exploring how Rust and Haskell can incorporate proof-assistant ideas such as totality, type-level programming, and dependent types.

• YouTube
• 35 minutes
• Self-Paced
• Conference Talk

RustLab Conference

Rust's Trait System as a Proof Engine for ABI Generation

Explore advanced Rust trait system techniques to create stable ABIs, perform type-level computations, and influence type layouts using GATs and const generics.

• YouTube
• 36 minutes
• Self-Paced
• Free Video

CppCon

Great C++ is_trivial - Understanding Trivial Type Traits - Lecture 2023

Explore trivial type traits in C++, their impact on efficiency, and benefits for performance optimization. Gain insights into object initialization and move semantics.

• YouTube
• 58 minutes
• Self-Paced
• Free Video

CppCon

Val: A Safe Language to Interoperate with C++

Explore Val, a safe-by-default language with generic programming and value semantics, designed to seamlessly interoperate with C++ while ensuring memory safety and efficient abstractions.

• YouTube
• 1 hour 1 minute
• Self-Paced
• Free Video

cpponsea

Typical C++ - Leveraging the Type System for Better Code

Explore how leveraging C++'s type system strengths improves code quality, prevents errors, enhances readability, and reduces risks during modifications.

• YouTube
• 51 minutes
• Self-Paced
• Free Video

NDC Conferences

Using C#'s Type System Effectively

Learn practical ways to use C# types to get better compiler feedback and safely improve code performance.

• YouTube
• 1 hour 2 minutes
• Self-Paced
• Conference Talk

Rust

Subtyping in Rust - Magic and Misconceptions

Explains Rust’s subtle subtyping behavior and why variance matters mainly when developing complex data structures.

• YouTube
• 54 minutes
• Self-Paced
• Free Video

JSConf

Typed JavaScript? For Real? - The Type Annotations Proposal and What It's All About

A proposal author explains the debate over adding type annotations to JavaScript, including its motivations, details, and tradeoffs.

• YouTube
• 30 minutes
• Self-Paced
• Conference Talk

Java

Project Valhalla: Java's Type System Refactoring and Value Classes

Dive into Project Valhalla's groundbreaking changes to Java's type system, exploring value classes, null-restricted types, and enhanced initialization features for improved memory efficiency and performance.

• YouTube
• 52 minutes
• Self-Paced
• Free Video

Web Dev Simplified

Learn Advanced TypeScript in 25 Minutes - Infer, Extends, Ternaries

Master advanced TypeScript features including extends, infer, template literals, and ternaries in this comprehensive 26-minute crash course for complex type manipulation.

• YouTube
• 26 minutes
• Self-Paced
• Free Video