Advanced module systems (invited talk): a guide for the perplexed

Authors:
Robert Harper;Benjamin C. Pierce
Affiliations:
Carnegie Mellon;University of Pennsylvania
Venue:
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Year:
2000

Citing 0
Cited 3

Generic unification via two-level types and parameterized modules

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Two-level types and parameterized modules

Journal of Functional Programming
KERIS: evolving software with extensible modules: Research Articles

Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution

Quantified Score

Hi-index	0.00

Visualization

Abstract

The past three decades have seen a plethora of language features for large-scale software composition. Some of these are fairly simple, others quite sophisticated. Each embodies an implicit claim that its particular combination of features is both necessary and sufficient for some problem domain. But there have been few attempts to compare module systems, or to explain the practical and theoretical issues that motivate the choices they embody. This can make it difficult to evaluate which features are really needed for a given setting, and which may be overkill.