language: en

Translucent Sums: A Foundation for Higher-Order Module Systems

Mark Lillibridge
May, 1997 CMU-CS-97-122
School of Computer Science Carnegie Mellon University
Pittsburgh, PA 15213

[Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Thesis Committee: Robert Harper, Chair Peter Lee John Reynolds Luca Cardelli, DEC SRC]

[Copyright c fl1997 Mark Lillibridge]

[This research was sponsored by the Air Force Materiel Command (AFMC) and the Defense Advanced Research Projects Agency (DARPA) under contract number, F19628-95-C-0050.]

[The U.S. Government is authorized to reproduce and distribute reprints for Government purposes notwithstanding any copyright notation thereon. The views and conclusions contained in this document are those of the author and should not be interpreted as representing the official policies or endorsements, either expressed or implied, of the U.S. Government.]