Using dependent types to express modular structure
| Author(s) : | David Macqueen David Macqueen, |
| Publisher : | N/A |
| Publication Date : | 1986 |
| ISSN : | N/A |
| Abstract : | Several related typed languages for modular programming and data abstraction have been proposed recently, including Pebble, SOL, and ML modules. We review and compare the basic type-theoretic ideas behind these languages and evaluate how they meet the pragmatic requirements of "programming in the large"., |