17:42[OOPSLA23] Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect...ACM SIGPLAN101 viewsView & Download
7:38Hindley-Milner Type Inference | OCaml Programming | Chapter 9 Video 37Michael Ryan Clarkson8.7K viewsView & Download
6:03Unification Algorithm | OCaml Programming | Chapter 9 Video 44Michael Ryan Clarkson6.8K viewsView & Download
8:33Types in Hindley-Milner: Syntax, building blocks and grammar (compared to Python and TypeScript)Adam Jones2.8K viewsView & Download
1:02:42Hindley-Milner helpers: substitutions, unification, instantiation, generalisation in TypeScriptAdam Jones1.7K viewsView & Download
6:46Building a Type System from Scratch — Hindley-Milner in SkyAnzel | Sky Lang131 viewsView & Download