7:38Hindley-Milner Type Inference | OCaml Programming | Chapter 9 Video 37Michael Ryan Clarkson8.7K viewsView & Download
1:02:42Hindley-Milner helpers: substitutions, unification, instantiation, generalisation in TypeScriptAdam Jones1.7K viewsView & Download
1:39:16Phil Freeman on Principal type-schemes for functional programsPapersWeLove1.5K viewsView & Download
8:33Types in Hindley-Milner: Syntax, building blocks and grammar (compared to Python and TypeScript)Adam Jones2.8K viewsView & Download
