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)

6 Citations (Scopus)

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. © 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
Pages64-78
Number of pages15
Volume2986
ISBN (Electronic)978-3-540-24725-8
DOIs
Publication statusPublished - 2004

Publication series

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

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

  • Cite this

    Hirschowitz, T., Leroy, X., & Wells, J. B. (2004). Call-by-value mixin modules: reduction semantics, side effects, types. In Programming Languages and Systems: 13th 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 (Vol. 2986, pp. 64-78). (Lecture Notes in Computer Science; Vol. 2986). https://doi.org/10.1007/978-3-540-24725-8_6