Type Safety Courses
Satish C J via YouTube ZIO HTTP: A Functional Approach to Scalable and Type-Safe Web Development
NashKnolX via YouTube Fun with Flags - C++ Type-safe Bitwise Operations
CppNow via YouTube Type-Safe Web Development with C++ Using WebAssembly and Typescripten
Meeting Cpp via YouTube The Expected Outcome: Error Handling with std::expected in C++
Meeting Cpp via YouTube Getting to Know Actors in Gleam
Code Sync via YouTube The Unbearable Weight of Glue - Tackling Complexity in Software Development
Code Sync via YouTube Type-safe Nanopasses: How to Write a Safe and Modern Compiler Front-end - INFER 2024
ACM SIGPLAN via YouTube Capturing Types: A Calculus for Tracking Free Variables in Type Systems
ACM SIGPLAN via YouTube Polymorphic Type Inference for Dynamic Languages
ACM SIGPLAN via YouTube