Completed
Cell:new in Coq
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
RustBelt: A Quick Dive Into the Abyss - Formalizing Rust's Safety Story
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 RustBelt - formalizing Rust's safety story
- 3 The Arust type system
- 4 Syntactic type safety
- 5 1. Semantic interpretation of types
- 6 2. Lift to all judgments
- 7 Composition with unsafe code
- 8 Lifetime logic
- 9 Semantic well-typedness of Cell::new: E
- 10 Sharing predicates
- 11 Semantic well-typedness of Cell::set: E
- 12 Cell:new in Coq
- 13 Cell:replace in Coq
