@inbook{d81ea43bdc37430780a85630efeee87e,
title = "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. {\textcopyright} Springer-Verlag 2004.",
author = "Tom Hirschowitz and Xavier Leroy and Wells, {J. B.}",
year = "2004",
doi = "10.1007/978-3-540-24725-8_6",
language = "English",
isbn = "978-3-540-21313-0",
volume = "2986",
series = "Lecture Notes in Computer Science",
pages = "64--78",
booktitle = "Programming Languages and Systems",
}