Type System Courses

Dynamic Dispatch and Type Inference in Fortress - Lecture
Java via YouTube

Gradual Typing for Ruby at Scale with Sorbet
Java via YouTube

Adventures on the Road to Valhalla - Improving Java Generics - Lecture
Java via YouTube

Java SE 17 Fundamentals
Pluralsight

PHP's Type System Dissected
PHP UK Conference via YouTube

Hacking C# from the Inside - How to Do Anything in .NET
NDC Conferences via YouTube

Kotlin - Boring Languages Are Dead - Long Live Boring Languages
NDC Conferences via YouTube

Deconstructing TypeScript’s Type System
NDC Conferences via YouTube

Domain Modeling Made Functional
NDC Conferences via YouTube

Using C#'s Type System Effectively
NDC Conferences via YouTube