14:24Study of the Subtyping Machine of Nominal Subtyping with VarianceACM SIGPLAN133 viewsView & Download
31:06[POPL 2021] A Graded Dependent Type System with a Usage-Aware Semantics (full)ACM SIGPLAN337 viewsView & Download
26:53Python's type system explained: Static vs dynamic typing | Guido van Rossum and Lex FridmanLex Clips60.5K viewsView & Download
19:39Building a Typechecker from scratch [1/20] Introduction to Type theory and checkingDmitry Soshnikov14.5K viewsView & Download