Ответ 1
Если вам нравится код ML, лучший способ найти эти вещи - просто взглянуть на реализации в дикой природе. Хорошая эталонная реализация HaMLet, которая больше похожа на тестовую платформу, а не на производственную реализацию.
Почти все серьезные недавние обсуждения этих вопросов будут проходить в научных центрах. Одна из статей, которая может представлять интерес, - Общие алгоритмы вывода типа Hindley-Milner.
Кроме того, реализации различных типов систем (включая полиморфизм) в Pierce Типы и языки программирования ", а также Appel" Современная реализация компилятора в ML "более точно соответствуют современным подходам к реализации этого, чем ванильное описание алгоритма W.