Tom Hirschowitz, Xavier Leroy, and J. B. Wells. Call-by-value mixin modules: reduction semantics, side effects, types. In ESOP 2004: European Symposium on Programming, number 2986 in LNCS, pages 64--78. Springer, 2004.

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.

bib | DOI | Local copy | At publisher's site ] Back


This file was generated by bibtex2html 1.99.