Steven Shaw personal blog
Hindley-Milner Type Inference (2012)
Robin Milner's type system with parametric polymorphism was a significant advance over the systems of Russell and Church. Arguably it is the ability to use type-variables that makes higher order logic a practical vehicle for proving non-trivial theorems. The Hindley-Milner algorithm is used to automatically infer…
- Points
- 177
- HN comments
- 184
- Submissions
- 1
- Cited by
- 0 commenters
Programming LanguagesMath & Algorithms2020
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 10, 2020 | Hindley-Milner Type Inference (2012) by vyuh | 177 | 184 |
