Chapter 8: Type Systems
51:46
Chapter 9: Statistical Debugging
1:19:58
Module 8: Type Systems
48:26
Scallop: A Language for Neuro-Symbolic Programming
50:23
Inside a static analyser: type system - Yuri Minaev - NDC TechTown 2021
1:02:04
Elixir's new Set Theoretic Type System - Robert Ellen
36:35
"Typing the Untyped: Soundness in Gradual Type Systems" by Ben Weissmann
40:16
KotlinConf 2018 - Exploring the Kotlin Type Hierarchy from Top to Bottom by Nat Pryce
1:35:49