17:00FreezeML - Complete and Easy Type Inference for First Class PolymorphismACM SIGPLAN622 viewsView & Download
13:54An Existential Crisis Resolved: Type Inference for First-Class Existential TypesACM SIGPLAN1.6K viewsView & Download
47:33PL Theory 1: How to categorize programming languages along multiple axes - Jan van BrüggeFuturice410 viewsView & Download
0:5718 June 1000 FreezeML Complete and Easy Type Inference for First Class PolymorphismACM SIGPLAN88 viewsView & Download
12:01Haskell for Imperative Programmers #16 - Type inferencePhilipp Hagenlocher30.5K viewsView & Download
32:24[OOPSLA] MLstruct: Principal Type Inference in a Boolean Algebra of Structural TypesACM SIGPLAN257 viewsView & Download
7:38Hindley-Milner Type Inference | OCaml Programming | Chapter 9 Video 37Michael Ryan Clarkson8.7K viewsView & Download