Type System Courses
Zero To Mastery Synthesizing Distributed Protocols from Global Session Types
Simons Institute via YouTube Functional Correctness - Haskell-ing Your Way to Reliable Code
media.ccc.de via YouTube Maximizing Success with TypeScript and ESLint - Josh Goldberg
Tejas Kumar via YouTube A Whirlwind Tour of PureScript - YOW! 2016
GOTO Conferences via YouTube Writing Elegant DSP Code in Rust
ADC - Audio Developer Conference via YouTube Safe by Construction - Writing Secure Code Without Thinking About Security
GoLab conference via YouTube Shifting Go Left with CUE - Configuration and Type Safety
GoLab conference via YouTube Rust's Trait System as a Proof Engine for ABI Generation
RustLab Conference via YouTube Great C++ is_trivial - Understanding Trivial Type Traits - Lecture 2023
CppCon via YouTube