(home)

⚙️
Algorithm W

problem: type inference
type: algorithm

For the Hindley-Milner
no Wikipedia article, though there is a section: en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system#Algorithm_W