Call-by-value mixin modules: Reduction semantics, side effects, types

Abstract. Mixin modules are a framework for modular programming that supports code parameterization, incremental programming via late binding and redenitions, and cross-module recursion. In this paper, we develop a language of mixin modules that supports call-by-value evalu-ation, and formalize a reduction semantics and a sound type system for this language.