Type Inference Courses
ACM SIGPLAN via YouTube Shape-Constrained Array Programming with Size-Dependent Types
ACM SIGPLAN via YouTube Approximating Type Stability in the Julia JIT
ACM SIGPLAN via YouTube Concrete Type Inference for Code Optimization using Machine Learning with SMT Solving
ACM SIGPLAN via YouTube Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
ACM SIGPLAN via YouTube Greedy Implicit Bounded Quantification in Object-Oriented Programming Languages
ACM SIGPLAN via YouTube Modern Java in Action: Building a GitHub Crawler with Java 23 Features
Devoxx via YouTube