Type Theory for the Working Rustacean - Dan Pittman
A Taste of Type Theory • Bartosz Milewski • YOW! 2019
"A Little Taste of Dependent Types" by David Christiansen
Implementing a Modal Dependent Type Theory
Why should you learn Type Theory?
Thorsten Altenkirch - Why Type Theory matters | Lambda Days 2019
RustLab 2019: Syscalls for Rustaceans • Gargi Sharma
Robert Harper: "Phase Distinctions in Type Theory"
Introductory Lectures on Type Theory (4 : Coinductive types, Dependent types)
MathZero, The Classification Problem, and Set-Theoretic Type Theory - David McAllester
Gabriel Habryn - Type theory in practice | Lambda Days 19
The Hardest Problem in Type Theory - Computerphile
Ben Blum from the Research team presents "Types of Types in Rust"
Lawrence Paulson: "Formalising Contemporary Mathematics in Simple Type Theory"
Dependent Types with David Christiansen – Functional Futures
Introduction Type Theory: Another foundation of mathematics
Unpopular opinion! Rust's type system is better than Go's
Lee Baillie - The Illustrated Adventure Survival Guide for New Rustaceans
RustConf 2017 - Type System Tips for the Real World by Sean Griffin
Nathan Sorenson - Domain Specific Type Systems