cotalks.dev

Inside a static analyser: type system - Yuri Minaev - NDC TechTown 2021

(link)