Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
CMU{CS{97{122
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