Practical use of a polymorphic applicative language

Butler Lampson and Eric Schmidt


Citation: Proc. 10th ACM Symposium on Principles of Programming Languages, Austin, 1983, pp 237-255

Links: Abstract, Acrobat. Here is an HTML version created by OCR for the benefit of search engines; it is not meant for human consumption.

Email: This paper is at



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.