cotalks.dev
Login
Type System
2018
Videos
1 — Intern Presentation: Parallel Programming with Failure in Rust
2 — Intern Presentation: Rust Typeclasses
3 — Ben Blum from the Research team presents "Types of Types in Rust"
4 — Felix Klock - Subtyping in Rust and Clarke's Third Law
5 — RustConf 2017 - Type System Tips for the Real World by Sean Griffin