A calculus of module systems (1999) [91 citations — 19 self]
by Davide Ancona, Elena Zucca, Via Dodecaneso
Journal of Functional Programming
ftp://ftp.disi.unige.it/pub/person/AnconaD/PPDP99.ps.gz
Add To MetaCart
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@INPROCEEDINGS{Ancona99acalculus,author = {Davide Ancona and Elena Zucca and Via Dodecaneso},
title = {A calculus of module systems},
booktitle = {Journal of Functional Programming},
year = {1999},
pages = {62--79},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Abstract:
Abstract. We present a simple and powerful calculus of modules supporting mutual recursion and higher order features. The calculus allows to encode a large variety of existing mechanisms for combining software components, including parameterized modules, extension with overriding of object-oriented programming, mixin modules and extra-linguistic mechanisms like those provided by a linker. As usual, we rst present an untyped version of our calculus and then a type system which is proved sound w.r.t. the reduction semantics; moreover we give a translation of other primitive calculi.
