Tom Hirschowitz, Xavier Leroy, J. B. Wells  Home/Search
Context
Related
| macs.hw.ac.uk/~jbw...ypes:ESOP2004.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: macs.hw.ac.uk/~jbw/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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. (Update)
Active bibliography (related documents): More All
1.0: Call-by-Value Mixin Modules - Reduction Semantics, Side.. - Hirschowitz, Leroy.. (Correct)
0.6: Rigid Mixin Modules - Hirschowitz (2003) (Correct)
0.6: An Abstract Monadic Semantics for Value Recursion - Moggi, Sabry (2003) (Correct)
Similar documents based on text: More All
0.5: A Reduction Semantics for Call-by-value Mixin Modules - Hirschowitz, Leroy, Wells (2003) (Correct)
0.4: Mixin Modules in a Call-By-Value Setting - Hirschowitz, Leroy (2002) (Correct)
0.4: A Reduction Semantics for Call-By-Value Mixin Modules - Hirschowitz, Leroy, Wells (2002) (Correct)
BibTeX entry: (Update)
@misc{ hirschowitz-callbyvalue,
author = "Tom Hirschowitz and Xavier Leroy and J. B. Wells",
title = "Call-by-Value Mixin Modules - Reduction Semantics, Side Effects, Types",
url = "citeseer.ist.psu.edu/hirschowitz04callbyvalue.html" }
Citations (may not include all citations):215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
166 Classes and mixins - Flatt, Krishnamurthi et al. - 1998
128 and separate compilation (context) - Leroy, modules - 1994
122 and modularization (context) - Cardelli, linking - 1997
112 A Denotational Semantics of Inheritance - Cook - 1989
94 Object-oriented programming with Flavors (context) - Moon - 1986
94 Units: cool modules for HOT languages - Flatt, Felleisen - 1998
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
57 A record calculus based on symmetric concatenation - Harper, Pierce - 1991
51 A calculus of module systems - Ancona, Zucca - 2002
48 What is a recursive module - Crary, Harper et al. - 1999
38 A core calculus of classes and mixins - Bono, Patel et al. - 1999
31 Mixin modules in a call-by-value setting - Hirschowitz, Leroy - 2002
25 A calculus for link-time compilation - Machkasova, Turbak - 2000
18 A versatile constraint-based type inference system (context) - Pottier - 2000
13 Recursive structures for Standard ML - Russo - 2001
10 Equational reasoning for linking with first-class primitive .. - Wells, Vestergaard - 2000
9 A nominal theory of objects with dependent types - Odersky, Cremet et al.
8 Toward a practical type theory for recursive modules - Dreyer, Harper et al. - 2001
8 Mixin modules and computational e#ects - Ancona, Fagorzi et al. - 2003
7 A reduction semantics for call-by-value mixin modules - Hirschowitz, Leroy et al. - 2003
6 Compilation of extended recursion in call-by-value functiona.. - Hirschowitz, Leroy et al. - 2003
4 A type system for well-founded recursion - Dreyer - 2004
3 modules et recursion etendue en appel par valeur (context) - Hirschowitz - 2003
Documents on the same site (http://www.macs.hw.ac.uk/~jbw/papers/): More
Principality and Type Inference for Intersection Types Using.. - Kfoury, Wells (2003) (Correct)
On the Implementation of Recursion in Call-By-Value.. - Hirschowitz, al. (2003) (Correct)
A Reduction Semantics for Call-By-Value Mixin Modules - Hirschowitz, Leroy, Wells (2002) (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