Matthew Flatt, Matthias Felleisen  Home/Search
Context Related
| cmu.edu/~rwh/courses/module...paper.pdf 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: cmu.edu/~rwh/courses/modu...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A module system ought to enable assembly-line programming using separate compilation and an expressive linking language. Separate compilation allows programmers to develop parts of a program independently. A linking language gives programmers precise control over the assembly of parts into a whole. This paper presents models of program units, MzScheme's module language for assembly-line programming. Units support separate compilation, independent module reuse, cyclic dependencies, hierarchical... (Update)
Similar documents based on text: More All
4.4: Units: Cool Modules for HOT Languages - Flatt, Felleisen (1998) (Correct)
0.4: Aspect-Oriented Programming with Jiazzi - Mcdirmid, Hsieh (2003) (Correct)
0.3: Translucent Sums: A Foundation for Higher-Order Module Systems - Lillibridge (1996) (Correct)
BibTeX entry: (Update)
M. Flatt and M. Felleisen. Units: Cool modules for HOT languages. In PLDI'98 - ACM Conf. on Programming Language Design and Implementation, pages 236--248, 1998. http://citeseer.ist.psu.edu/flatt98units.html More
@inproceedings{ flatt98units,
author = "Matthew Flatt and Matthias Felleisen",
title = "Units: Cool Modules for {HOT} Languages",
booktitle = "Proceedings of the {ACM} {SIGPLAN}~'98 Conference on Programming Language Design and Implementation",
pages = "236--248",
year = "1998",
url = "citeseer.ist.psu.edu/flatt98units.html" }
Citations (may not include all citations):1074 The Def- inition of Standard ML (context) - MmNER, TOFTE et al. - 1990
862 The Java Language Specification - GOSLING, JOY et al. - 1996
257 Report on the programming language Haskell (context) - HUDAK, WADLER - 1991
215 A type-theoretic approach to higher-order modules with shari.. - HARPER, LmLmaroaE - 1994
166 Classes and mixins - FLATT, KRISHNAMURTHI et al. - 1998
162 Unboxed objects and polymorphic typing - LEROY - 1992
138 The revised report on the syntactic theories of sequential c.. - FELLEISEN, HIEB - 1989
128 and separate com- pilation (context) - LEROY - 1994
122 and modu- larization (context) - CARDELLI - 1997
121 Higher- order modules and the phase distinction - HARPER, MITCHELL et al. - 1990
80 Programming in Ada (context) - BARNES - 1996
67 Mixin modules - DUGGAN, SOURELIS - 1996
65 A semantics for higher-order functors - MACQUEEN, TOFTE - 1994
51 Prentice Hall (context) - HARBISON - 1991
32 A module system for Scheme - CURTIS, RAUEN - 1990
[Article contains additional citations not shown here]
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-2.cs.cmu.edu/~rwh/courses/modules/index.htm): More
Mixin Modules - Duggan, Sourelis (1996) (Correct)
Type-Safe Linking and Modular Assembly Language - Glew, Morrisett (1999) (Correct)
An extension of Standard ML modules with subtyping and.. - Mitchell, Meldal (1991) (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