M Tofte - Proceedings of the 19th ACM SIGPLAN-SIGACT …, 1992 - dl.acm.org
Under the Damas-Milner type discipline for functional languages, every expression has
principal type, if it elaborates at all. In the type discipline for ML Modules, a signature …