Type System Courses
ACM SIGPLAN via YouTube Type System for Four Delimited Control Operators
ACM SIGPLAN via YouTube Data Types as a More Ergonomic Frontend for Grammar-Guided Genetic Programming
ACM SIGPLAN via YouTube Unit Testing an Expression Template Library in C++20 - Lecture
CppNow via YouTube Go Fundamentals
Pluralsight