Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Translucent Sums: A Foundation for Higher-Order Module Systems

Summary: Translucent Sums: A Foundation for
Higher-Order Module Systems
Mark Lillibridge
May, 1997
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Submitted in partial ful llment 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 1997 Mark Lillibridge
This research was sponsored by the Air Force Materiel Command (AFMC) and the Defense Ad-
vanced Research Projects Agency (DARPA) under contract number, F19628-95-C-0050. The U.S. Gov-
ernment is authorized to reproduce and distribute reprints for Government purposes notwithstanding
any copyright notation thereon.


Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University


Collections: Mathematics