 |
|
|
|
| HAL : hal-00310123, version 1 |
| DOI : 10.1007/b96702 |
| Fiche détaillée |  Récupérer au format |
|
|
| European Symposium on Programming, Barcelona : Espagne (2004) |
|
|
|
|
| Call-by-value mixin modules: Reduction semantics, side effects, types |
|
|
Tom Hirschowitz 1Xavier Leroy 2 |
|
|
| (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. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire de Mathématiques (LAMA) |
|
|
|
CNRS : UMR5127 – Université de Savoie |
|
|
| 2 : | GALLIUM (INRIA Rocquencourt) |
|
|
|
INRIA |
|
|
| 3 : | Heriot-Watt University |
|
|
|
Heriot-Watt University |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Langage de programmation |
|
|
| Modularity – mixin modules – types – letrec |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00310123, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00310123 | |
| oai:hal.archives-ouvertes.fr:hal-00310123 | |
| Contributeur : Tom Hirschowitz | |
| Soumis le : Vendredi 8 Août 2008, 08:59:05 | |
| Dernière modification le : Vendredi 8 Août 2008, 18:27:42 | |
