Karl Crary  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 hierarchical module system is an effective tool for structuring large programs. Strictly hierarchical module systems impose an acyclic ordering on import dependencies among program units. This can impede modular programming by forcing mutually-dependent components to be consolidated into a single module. Recently there have been several proposals for module systems that admit cyclic dependencies, but it is not clear how these proposals relate to one another, nor how one might integrate them... (Update)
Similar documents (at the sentence level):
67.0%: What is a Recursive Module? - Crary, Harper, Puri (1999) (Correct)
Active bibliography (related documents): More All
0.5: A Calculus of Module Systems - Ancona, Zucca (2001) (Correct)
0.5: Principles and a Preliminary Design for ML2000 - Group (1999) (Correct)
0.2: Four Practical Attacks for "Optimistic Mixing for Exit-Polls" - Wikström (2003) (Correct)
Similar documents based on text: More All
0.7: Toward a Practical Type Theory for Recursive Modules - Dreyer, Harper, Crary (2001) (Correct)
0.3: Translucent Sums: A Foundation for Higher-Order Module Systems - Lillibridge (1996) (Correct)
0.3: A Type System for Higher-Order Modules - Dreyer, Crary, Harper (2003) (Correct)
BibTeX entry: (Update)
@inproceedings{ crary99what,
author = "Karl Crary and Robert Harper and Sidd Puri",
title = "What is a Recursive Module?",
booktitle = "{SIGPLAN} Conference on Programming Language Design and Implementation",
pages = "50-63",
year = "1999",
url = "citeseer.ist.psu.edu/586611.html" }
Citations (may not include all citations):384 The Definition of Standard ML (context) - Milner, Torre et al. - 1997
215 A type-theoretic approach to higher-order modules with shari.. - Harper, Lillibridge - 1994
210 TIL: A typedirected optimizing compiler for ML - Tarditi, Morrisett et al.
128 and separate compilation (context) - Leroy, modules - 1994
121 Higher-order modules and the phase distinction - Harper, Mitchell et al. - 1990
101 ACM Transactions on Programming Languages and Systems (context) - Harper, Mitchell et al. - 1993
94 Units: Cool modules for HOT languages - Flatt, Fellrisen - 1998
67 Mixin modules - Duggan, Sourelis - 1996
35 Modules for Standard ML - MacQueen - 1984
35 Typed cross-module compilation - Shao - 1998
35 overview FLINTML compiler - An, the et al. - 1997
22 Phase distinctions in type theory - Cardelli
18 The Objective Caml system: Documentation and user's guide (context) - Leroy - 1996
14 Safe dynamic linking in an extensible operating system - Sirer, Fiucynski et al. - 1996
10 An algebra of mixin modules - Ancona, Zucca - 1997
10 Technical Report CMU-CS (context) - Crary, Harper et al. - 1998
10 The equivalence problem for deterministic pushdown automata .. (context) - Snizergues - 1997
10 Type definitions with parameters (context) - Solomon - 1978
4 Private com- munication (context) - Shao, recursive - 1998
2 Parameter- ized modules (context) - Duggan, Sourelis - 1998
2 Hierarchical Modularity and Inter- module Optimization - Blume - 1997
1 A type-theoretic in- terpretation of Standard ML (context) - Harper, Stone - 1998
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