What is a Recursive Module?

What is a Recursive Module? (1999)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Karl Crary , Robert Harper , Sidd Puri

Venue:	In SIGPLAN Conference on Programming Language Design and Implementation
Citations:	79 - 5 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	What is a Recursive Module?	user correction - Legacy Corrections
AUTHOR NAME	Karl Crary	SVM HeaderParse 0.1
AUTHOR AFFIL	Carnegie Mellon University	SVM HeaderParse 0.2
AUTHOR NAME	Robert Harper	SVM HeaderParse 0.1
AUTHOR AFFIL	Carnegie Mellon University	SVM HeaderParse 0.2
AUTHOR NAME	Sidd Puri	SVM HeaderParse 0.1
AUTHOR AFFIL	Microsoft Corporation	SVM HeaderParse 0.2
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 into an expressive module system such as that of ML. To address this question we provide a type-theoretic analysis of the notion of a recursive module in the context of a "phase-distinction" formalism for higher-order module systems. We extend this calculus with a recursive module mechanism and a new form of signature, called a recursively dependent signature, to support the defmition of recursive modules. These extensions are justified by an interpretation in terms of more primitive language constructs. This interpretation may also serve as a guide for implementation.	user correction - Legacy Corrections
YEAR	1999	INFERENCE
VENUE	In SIGPLAN Conference on Programming Language Design and Implementation	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	50--63	INFERENCE
CITATIONS	17 found	ParsCit 1.0