| Alternate document: Details Mixin Modules and Computational Effects (03) D. Ancona, S. Fagorzi, E. Moggi, E. Zucca |
D. Ancona, S. Fagorzi, E. Moggi, E. Zucca  Home/Search
Context Related
| disi.unige.it/pub/perso...ICALP03.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)
Cited by: More
Type Inference and Principal Typings for Symmetric Record.. - Makholm, Wells (2005) (Correct)
A Calculus with Lazy Module Operators - Ancona, Fagorzi, Zucca (Correct)
Efficient Recursion in the Presence of Effects - Dreyer, Harper, Crary (Correct)
Similar documents (at the sentence level):
45.7%: Mixin Modules and Computational Effects - Ancona, Fagorzi, Moggi, Zucca (2003) (Correct)
Active bibliography (related documents): More All
0.4: A Type System for Well-Founded Recursion - Dreyer, Harper, Crary (2003) (Correct)
0.3: Call-by-Value Mixin Modules - Reduction Semantics, Side.. - Hirschowitz, Leroy.. (Correct)
0.3: An Abstract Monadic Semantics for Value Recursion - Moggi, Sabry (2003) (Correct)
Similar documents based on text: More All
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)
0.3: An Algebra of Mixin Modules - Ancona, Zucca (1997) (Correct)
Related documents from co-citation: More All
3: Mixin modules in a call-by-value setting - Hirschowitz, Leroy - 2002
2: A calculus of module systems - Ancona, Zucca - 2001
2: Units: Cool modules for HOT languages - Flatt, Felleisen - 1998
BibTeX entry: (Update)
Davide Ancona, Sonia Fagorzi, Eugenio Moggi, and Elena Zucca. Mixin modules and computational effects. In 2003. http://citeseer.ist.psu.edu/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/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
20 Denotational semantics of an object-oriented programming lan.. (context) - Hense - 1993
13 Recursive monadic bindings (context) - Erk, Launchbury - 2000
13 A Monadic Multi-stage Metalanguage - Moggi, Fagorzi - 2003
7 Semantic value recursion monadic inputoutput (context) - ok, Moran et al. - 2002
6 Equational reasoning for linking with rst-class primitive mo.. (context) - Wells, Vestergaard - 2000
3 A recursive do for Haskell - Erk, Launchbury - 2002
1 Semantics of fixIO (context) - Erk, Launchbury et al. - 2001
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