Material
Table of Contents
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