"A Proper Extension of ML with an Effective Type-Assignment."

A. J. Kfoury, Jerzy Tiuryn, Pawel Urzyczyn (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics