Type System Courses
CppCon via YouTube Val: A Safe Language to Interoperate with C++
CppCon via YouTube How to Build C++ Interfaces That Are Hard to Use Incorrectly - Lecture
cpponsea via YouTube Typical C++ - Leveraging the Type System for Better Code
cpponsea via YouTube Interfaces.jl: Base and Package Interface Tests for Your Objects
The Julia Programming Language via YouTube Supergraph(QL) - Scalable API Strategy for Your Data Using GraphQL
Platform Engineering via YouTube Advanced Python: Dependency Injection and Configuration Management
NashKnolX via YouTube Unleashing the Power of Type-Level Programming in Scala
NashKnolX via YouTube Re-envisioning Implicits with Scala 3
NashKnolX via YouTube Scala Macros: Unleashing the Power of Compile-Time Metaprogramming
NashKnolX via YouTube