Tom Hirschowitz, Xavier Leroy, and J. B. Wells. Call-by-value mixin modules: Reduction semantics, side effects, types. In European Symposium on Programming, volume 2986 of Lecture Notes in Computer Science, 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 | Local copy | At publisher's ] Back

This file was generated by bibtex2html 1.97.