Govereau, Paul2015-12-072005Govereau, Paul. 2005. Type Generativity in Higher-Order Module Systems. Harvard Computer Science Group Technical Report TR-05-05.http://nrs.harvard.edu/urn-3:HUL.InstRepos:23853816We present a higher-order module system similar to those found in Standard ML and Objective Caml. Our system allows both generative and non-generative types. Unlike other systems, the generativity of a type is reflected directly in the signature of the module in which it is declared, allowing a more direct analysis of type abstraction and generativity. Our module system can express both generative and applicative functors, and allows mixing of generative and non-generative types within a single module. This gives the programmer greater control over type generativity, and brings a new perspective to the relationship between the two styles of abstraction.en-USML ModulesGenerativityStandard MLObjective CamlResearch Paper or Report2015-12-07