1:00:41Static Types Without the Hassle: Type Inference DemystifiedThe Pure State3.7K viewsView & Download
13:54An Existential Crisis Resolved: Type Inference for First-Class Existential TypesACM SIGPLAN1.6K viewsView & Download
2:29:13Type Inference from Scratch: A Workshop with Christoph HegemannBerlin Functional Programming Group1.9K viewsView & Download
23:13A Mechanical Formalization of Higher-Ranked Polymorphic Type InferenceACM SIGPLAN359 viewsView & Download
7:38Hindley-Milner Type Inference | OCaml Programming | Chapter 9 Video 37Michael Ryan Clarkson8.7K viewsView & Download