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.
Keywords : types letrec
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [26 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00310123
Contributor : Tom Hirschowitz <>
Submitted on : Friday, August 8, 2008 - 8:59:05 AM
Last modification on : Friday, May 25, 2018 - 12:02:07 PM
Document(s) archivé(s) le : Thursday, June 3, 2010 - 6:04:45 PM

File

cbv-mixins.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Tom Hirschowitz, Xavier Leroy, J. B. Wells. Call-by-value mixin modules: Reduction semantics, side effects, types. European Symposium on Programming, 2004, Barcelona, Spain. pp.64-78, ⟨10.1007/b96702⟩. ⟨hal-00310123⟩

Share

Metrics

Record views

333

Files downloads

495