Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Controlling E ects Andrzej Filinski
 

Summary: Controlling E ects
Andrzej Filinski
May 1996
CMU{CS{96{119
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, Co-Chair
John Reynolds, Co-Chair
Stephen Brookes
Gordon Plotkin, University of Edinburgh
Copyright c 1996 Andrzej Filinski
This research was sponsored in part by the Defense Advanced Research Projects Agency, CSTO,
under the title \The Fox Project: Advanced Development of Systems Software", under Contract F19628-
95-C-0050. The research was also partially sponsored by the National Science Foundation under Grant
No. CCR-94-09997.
The views and conclusions contained in this document are those of the author and should not be

  

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

 

Collections: Mathematics