Butler Lampson and Eric Schmidt
Citation: Proc. 10th ACM
Symposium on Principles of Programming Languages,
Assembling a large system from its component elements is not a simple task. An adequate notation for specifying this task must reflect the system structure, accommodate many configurations of the system and many versions as it develops, and be a suitable input to the many tools that support software development. The language described here applies the ideas of λ-abstraction, hierarchical naming, and type-checking to this problem. Some preliminary experience with its use is also given.