preguntar acerca de hindley-milner

je cherche des informations sur les plus connus algorithme de Damas-Hindley-Milner pour ce faire, tapez inférence pour les langues fonctionnelles, en particulier des informations sur la mise en œuvre. je sais déjà comment le faire Algorithme W, ma …