Type System Courses
Rust via YouTube Rust Lang Team Triage Meeting - Grammar Working Group Focus - 2019.09.12
Rust via YouTube Polonius Working Group: The Role of Subset Relations in Rust
Rust via YouTube Representing Types in Rustc - Type System Internals
Rust via YouTube How the Chalk-Engine Crate Works in Rust
Rust via YouTube Rust Region Inferencer Discussion - Async-Await Working Group
Rust via YouTube Rustc-Chalk Integration Overview: Plans and Implementation
Rust via YouTube Async-Await Implementation Strategies for Rust - 2019.02.26 Meeting
Rust via YouTube Getting Something for Nothing - Using Rust's Type System for Safe Hardware Abstractions
Rust via YouTube Rustls - Modern, Faster, Safer TLS
Rust via YouTube