Understanding Type Systems in Programming Languages (10 Minutes)
"Type Systems - The Good, Bad and Ugly" by Paul Snively and Amanda Laucher
Python's type system explained: Static vs dynamic typing | Guido van Rossum and Lex Fridman
17. The Hindley-Milner Type System
Assignments, contexts, typing judgements and rules in type systems
The magic of Rust's type system
A Type System From Scratch – Robert Widmann
An introduction to type systems
"Understanding TypeScript's Structural Type System" by Drew Colthorp
Type Systems I - Vladimir Voevodsky
Types of Systems
The Semantic Phase and Type Systems
PLP 7.1: Type Systems
Type Systems
Type Systems and Proof Assistant - Vladimir Voevodsky
"The design of JavaScript type systems" by Dimitris Vardoulakis
TinyHM 4.2 - Type systems and constraint solving
The Structural Theory of Pure Type Systems
Type systems. What role do they play in Python?
Let's talk type systems