 |
|
|
|
| HAL: hal-00310123, version 1 |
| DOI: 10.1007/b96702 |
| Detailed view |  Export this paper |
|
|
| 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 |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Programming Languages |
|
|
| Modularity – mixin modules – types – letrec |
|
|
|
| Attached file list to this document: | |||||
|
|||||
|
|
|
| hal-00310123, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00310123 | |
| oai:hal.archives-ouvertes.fr:hal-00310123 | |
| From: Tom Hirschowitz | |
| Submitted on: Friday, 8 August 2008 08:59:05 | |
| Updated on: Friday, 8 August 2008 18:27:42 | |
