Estou procurando informações sobre os conhecidosAlgoritmo de Damas-Hindley-Milner fazer inferência de tipo para linguagens funcionais, especialmente informações sobre implementação.

Eu já sei como fazerAlgoritmo W, mas ouvi falar de novos algoritmos recentes com base no gerador / solucionador de restrições, em vez da unificação usual. No entanto, não consigo encontrar discussões sobre a implementação desse novo algoritmo.

Alguma idéia de onde eu poderia encontrar alguma informação parcial sobre inferência de ML?