Date of Original Version

12-2002

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules as first-class values. Our type system harmonizes design elements from previous work, resulting in a simple, economical account of modular programming. The main unifying principle is the treatment of abstraction mechanisms as computational effects. Our language is the first to provide a complete and practical formalization of all of these critical issues in module system design.

DOI

10.1145/604131.604151

Comments

This report refines and supersedes the original version published in July 2002 as CMU Technical Report CMU-CS-02-122.

Share

COinS
 

Published In

Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. POPL '03, 236-249.