Call-by-value mixin modules: Reduction semantics, side effects, types - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

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

Résumé

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.
Fichier principal
Vignette du fichier
cbv-mixins.pdf (197.54 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00310123 , version 1 (08-08-2008)

Identifiants

Citer

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⟩
171 Consultations
184 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More