ML modulsystemet ger kraftfulla parameteriseringsanläggningar, men saknar förmågan att dela ömsesidigt rekursiva definitioner mellan moduler och ger otillräckligt stöd för inkrementell programmering. En lovande strategi för att lösa dessa frågor är Ancona och Zuccas mixin modul calculus CMS. Det enkla sättet att anpassa det till ML misslyckas dock, eftersom det gör det möjligt att när som helst komma fram till godtyckliga rekursiva definitioner, som annars inte stöds av ML. I den här artikeln berikar vi CMS med ett förfinat typsystem som styr rekursiva definitioner genom användning av beroendediagram. Vi utvecklar och bevisar sedan ljud en separat sammanställning, regisserad av beroende grafer, som översätter mixin moduler ner till en call-by- value λ-calculus utökad med en icke-standard låt rec konstruktion.
På senare tid har REF övervägt en CMS-liknande analys, kallad CMS v, med ett förfinat typsystem för att undvika dålig rekursion i en call-by- value inställning.
Mixin modules in a call-by-value setting