Type System Courses
ChariotSolutions via YouTube Inside a Static Analyser - Type System
NDC Conferences via YouTube TypeScript for F# Zealots
NDC Conferences via YouTube Taking PHP Seriously
Strange Loop Conference via YouTube The Trouble With Types
Strange Loop Conference via YouTube Hackett - A Metaprogrammable Haskell
Strange Loop Conference via YouTube Dependent Types in Haskell
Strange Loop Conference via YouTube On the Generality and Convenience of Etypes
IEEE via YouTube Verifying and Synthesizing Constant-Resource Implementations with Types
IEEE via YouTube A Few Effective GCC - Clang Optimizations for Embedded Systems
Linux Foundation via YouTube