The ML module system provides powerful parameterization facilities, but lacks the ability to split mutually recursive definitions across modules, and does not provide enough facilities for incremental programming. A promising approach to solve these issues is Ancona and Zucca’s mixin modules calculus CMS. However, the straight forward wayto adapt it to ML fails, because it allows arbitrary recursive definitions to appear at any time, which ML does not support. In this paper, weenrich CMS with a refined type system that controls recursive definitions through the use of dependency graphs. We then develop a separate compilation scheme, directed by dependency graphs, that translate mixin modules down to a CBV λ-calculus extended with a non-standard letrec construct.
CITATION STYLE
Hirschowitz, T., & Leroy, X. (2002). Mixin modules in a call-by-value setting. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2305, pp. 6–20). Springer Verlag. https://doi.org/10.1007/3-540-45927-8_2
Mendeley helps you to discover research relevant for your work.