Material
Lectures
- Course Introduction
- The Basics
- The Stack and Heap
- References and Borrowing
- Structures and Enumerations
- Collections
- Traits
- Closures and Iterators
- Lifetimes
- Boxes and Recursive Data
- Reference Counting and Internal Mutability
- Concurrency
- Primer on Proof/Type Theory
- Substructural Proof/Type Theory
- Workshop: LTLC Interpreter
- Featherweight Rust: An Introduction
- Featherweight Rust: Semantics
- Featherweight Rust: Type/Borrow Checking
- Featherweight Rust: Extensions
- Featherweight Rust: Progress and Preservation