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

Tom Hirschowitz, Xavier Leroy, J. B. Wells

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

9 Citations (Scopus)


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. © Springer-Verlag 2004.

Original languageEnglish
Title of host publicationProgramming Languages and Systems
Subtitle of host publication13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings
Number of pages15
ISBN (Electronic)978-3-540-24725-8
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Call-by-value mixin modules: reduction semantics, side effects, types'. Together they form a unique fingerprint.

Cite this