A Type System From Scratch – Robert Widmann
Building a Typechecker from scratch [1/20] Introduction to Type theory and checking
Mojo and Python type system explained | Chris Lattner and Lex Fridman
17. The Hindley-Milner Type System
Let's Build a Design System: Building a Type System in Figma
An introduction to type systems
Build Your Own Type System for Fun and Profit
Inside a static analyser: type system - Yuri Minaev - NDC TechTown 2021
Julia in 100 Seconds
Atypical: a type system for live performances
"Type Systems - The Good, Bad and Ugly" by Paul Snively and Amanda Laucher
Building an Operating System from Scratch - Day 19 (started C type system)
Build a Design System - Full Course
Type Systems
Unpopular opinion! Rust's type system is better than Go's
The Type System of Programming Languages
Type Inference from Scratch: A Workshop with Christoph Hegemann
Assignments, contexts, typing judgements and rules in type systems
The Structural Theory of Pure Type Systems
Build a Type-Safe React Router from Scratch
![Building a Typechecker from scratch [1/20] Introduction to Type theory and checking](https://img.youtube.com/vi/3nGBnXUGxaY/0.jpg)
