"Type Systems - The Good, Bad and Ugly" by Paul Snively and Amanda Laucher
Type Systems I - Vladimir Voevodsky
An introduction to type systems
E-type, P-type, S-type Systems (Lehman) | Code Walks 040
TinyHM 4.2 - Type systems and constraint solving
Assignments, contexts, typing judgements and rules in type systems
Understanding Type Systems in Programming Languages (10 Minutes)
The magic of Rust's type system
Type Systems
Type Systems - Part 1
Type systems. What role do they play in Python?
Types of Systems
Type Theory for Busy Engineers - Niko Matsakis
Types of Information Systems (TPS, MIS, and DSS)
Intro to Type Systems and Operational Semantics - Andres Löh | ZuriHac 2022
The Structural Theory of Pure Type Systems
The Structural Type System of TypeScript; A Deep Dive to its Type Universe
A Type System From Scratch – Robert Widmann
Let's talk type systems
The Type System of Programming Languages
Python's type system explained: Static vs dynamic typing | Guido van Rossum and Lex Fridman
Type Systems and Proof Assistant - Vladimir Voevodsky
Making sense of the Haskell type system by Ryan Lemmer at FnConf17
17. The Hindley-Milner Type System
Type Systems I - Tuesday 830
