Type Inference Courses
Scala Days Conferences via YouTube Scala and the JVM as a Big Data Platform - Lessons from Apache Spark
Scala Days Conferences via YouTube Principles of Elegance
Scala Days Conferences via YouTube Hipster Swift
try! Swift Conference via YouTube Tooling for Static Analysis of Python Programs
EuroPython Conference via YouTube Wrestling Python into LLVM Intermediate Representation
EuroPython Conference via YouTube Static Analysis of Python
EuroPython Conference via YouTube Dynamic, Recursive, Heterogeneous Types in Statically-Typed Languages
CppNow via YouTube Gradual Typing of Production Applications
code::dive conference via YouTube A Deep Dive into Advanced TypeScript - A Live Coding Expedition
Devoxx via YouTube