hindley-milner

encontrei este TermoHindley-Milner , e não tenho a certeza se entendo o que significa. li os seguintes ... Nota - foi agora adicionado O que é? Que Línguas e ferramentas implementam ou usam? Pode dar-me uma resposta concisa?