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 redefinitions, and cross-module recursion. In this paper, we develop a language of mixin modules that supports call-by-value evaluation, and formalize a reduction semantics and a sound type system for this language.
Origin : Files produced by the author(s)
Loading...