Type System Courses
ACCU Conference via YouTube Using Units, Quantities, and Dimensions in C++14
ACCU Conference via YouTube The Road to Styled-Components - Styling Component Based Systems
WeAreDevelopers via YouTube Lifting & Shifting Entire React Ecosystem into New Languages
Callstack Engineers via YouTube React Native EU 2019 - Statically Enforcing a Consistent UI Using Type Systems
Callstack Engineers via YouTube War Time Proofs and Futuristic Programs
Strange Loop Conference via YouTube Polymorphic Function Types in Scala 3
Scala Days Conferences via YouTube Provable Code
Pluralsight How Powerful is Const in Rust - RustConf 2023
Rust via YouTube What's New in PHP 8.3
PHP UK Conference via YouTube