24:07An extensible constraint-based type inference algorithm for OO languages... - IWST 2014esugboard255 viewsView & Download
1:01:34Type inference as constraint solving: how GHC’s type inference engine actually works - SPJLambdAle3.6K viewsView & Download
40:54MPS Meetup 2023 - MPS Coderules: Constraint programming for type inferenceJetBrains540 viewsView & Download
19:54A bytecode set for adaptive optimizations - Clement Bera - IWST 2014esugboard133 viewsView & Download
7:38Hindley-Milner Type Inference | OCaml Programming | Chapter 9 Video 37Michael Ryan Clarkson8.7K viewsView & Download
19:55TyDe 2021 - Interactive Haskell Type Inference Exploration (Extended Abstract)ACM SIGPLAN572 viewsView & Download
1:06:44Inferring Class Invariants in object-oriented languages via abstract interpretationMicrosoft Research281 viewsView & Download