Type System Courses
EuroPython Conference via YouTube TypeScript Static Analysis Hidden Gems
All Things Open via YouTube No More Loopy Code: Data Science Goes Functional
media.ccc.de via YouTube SBB - Secure Building Blocks for IoT Systems in Rust - Conf42 Rustlang 2023
Conf42 via YouTube Generic Arity: Definition-Checked Variadics in Carbon - Lecture
CppNow via YouTube Typical C++ But Why - Leveraging the Type System for Better Code - Meeting C++ 2023
Meeting Cpp via YouTube etylizer - Set-theoretic Types for Erlang
Code Sync via YouTube The Design Principles of the Elixir Type System
Code Sync via YouTube Crossing Boundaries with Gleam - From Functions to Runtime
Code Sync via YouTube A Hitchhiker's Guide to Linearity - Lambda Days 2023
Code Sync via YouTube