D. Ancona, S. Fagorzi, E. Moggi, E. Zucca  Home/Search
Context Related
| disi.unige.it/pub/p...longICALP03.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: disi.unige.it/p...PublicationData (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We define a calculus for investigating the interactions between mixin modules and computational effects, by combining the purely functional mixin calculus CMS with a monadic metalanguage supporting the two separate notions of simplification (local rewrite rules) and computation (global evaluation able to modify the store). This distinction is important for smoothly integrating the CMS rules (which are all local) with the rules dealing with the imperative features. In our calculus mixins... (Update)
Similar documents based on text: More All
1.0: Mixin Modules and Computational Effects - Ancona, Fagorzi, Moggi, Zucca (2003) (Correct)
0.5: A Theory of Mixin Modules: Algebraic Laws and Reduction Semantics - Ancona, Zucca (1999) (Correct)
0.4: A Calculus of Module Systems - Ancona, Zucca (2001) (Correct)
BibTeX entry: (Update)
Davide Ancona, Sonia Fagorzi, Eugenio Moggi, and Elena Zucca. Mixin modules and computational effects. In 2003. http://citeseer.ist.psu.edu/article/ancona03mixin.html More
@misc{ ancona03mixin,
author = "D. Ancona and S. Fagorzi and E. Moggi and E. Zucca",
title = "Mixin modules and computational effects",
year = "2003",
url = "citeseer.ist.psu.edu/article/ancona03mixin.html" }
Citations (may not include all citations):306 A syntactic approach to type soundness - Wright, Felleisen - 1994
240 Mixin-based inheritance - Bracha, Cook - 1990
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
112 A Denotational Semantics of Inheritance - Cook - 1989
94 Units: Cool modules for HOT languages - Flatt, Felleisen - 1998
82 Objects as closures: Abstract semantics of object-oriented l.. (context) - Reddy - 1988
71 Modularity and Multiple Inheritance (context) - Bracha, Language et al. - 1992
67 Mixin modules - Duggan, Sourelis - 1996
60 Modular object-oriented programming with units and mixins - Findler, Flatt - 1998
51 A calculus of module systems - Ancona, Zucca - 2002
48 A primitive calculus for module systems - Ancona, Zucca - 1999
40 modules and separate compilation (context) - Leroy - 1994
31 Mixin modules in a call-by-value setting - Hirschowitz, Leroy - 2002
25 A calculus for link-time compilation - Machkasova, Turbak - 2000
23 The recursive record semantics of objects revisited - Boudol - 2002
[Article contains additional citations not shown here]
Documents on the same site (http://www.disi.unige.it/person/ZuccaE/Research/PublicationData.html): More
A Modular Calculus for Module Systems - Ancona, Zucca (Correct)
Deriving Proof Rules from Continuation Semantics - Audebaud, Zucca (1999) (Correct)
Implementation of Derived Programs (Almost) for Free - Cerioli, Zucca (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC