Hacker News
- Hindley-Milner Type Inference (2012) http://steshaw.org/hm/ 184 comments
- Hindley-Milner type inference algorithim, explained http://www.codecommit.com/blog/scala/what-is-hindley-milner-and-why-is-it-cool 16 comments
- Show HN: Hindley-Milner Type Inference Algorithm in OCaml https://github.com/prakhar1989/type-inference#hindley-milner-type-inference 28 comments
- Look at the humongous type that Hindley-Milner infers for this tiny program http://spacemanaki.com/blog/2014/08/04/Just-LOOK-at-the-humongous-type/ 56 comments
Lobsters
- Hindley-Milner type inference (in Rust) https://reasoning.page/compilers/hindley-milner-rust/ 4 comments plt , rust
- Hindley-Milner type inference engine for C https://github.com/ltcmelo/psychec 6 comments haskell
- Hindley-Milner type inference http://blog.solaris.bytelabs.org/articles/2007/06/11/hindley-milner-type-inference 4 comments programming
- The Aerodynamic Drag – Type Inference Analogy (java, Hindley-Milner, agda) http://mergeconflict.com/archives/23 51 comments programming
- A reckless introduction to Hindley-Milner type inference http://reasonableapproximation.net/2019/05/05/hindley-milner.html 26 comments haskell
- Hindley-Milner: an {article about, interactive tutorial for, implementation of} the famous type inference algorithm https://github.com/quchen/articles/tree/master/hindley-milner#readme 6 comments haskell
- Just LOOK at the humongous type that Hindley-Milner infers for this tiny program! http://spacemanaki.com/blog/2014/08/04/just-look-at-the-humongous-type/ 27 comments haskell
- Just LOOK at this one weird trick to make Hindley-Milner type inference blow up! Haskell and ML compilers hate it! http://spacemanaki.com/blog/2014/08/04/just-look-at-the-humongous-type/ 5 comments programming
Lambda the Ultimate
- Concoqtion: Mixing Indexed Types and Hindley-Milner Type Inference http://www.cs.rice.edu/~jgs3847/pubs/pubs/2007/pasalic07:_concoq.pdf 3 comments Functional , Implementation , Logic/Declarative , Semantics , Type Theory