file.pdf (379.45 kB)
Download fileA Type System for Higher-Order Modules (Expanded Version)
journal contribution
posted on 1976-01-01, 00:00 authored by Derek Dreyer, Karl Crary, Robert HarperWe 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.