Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Controlling E ects Andrzej Filinski

Summary: Controlling E ects
Andrzej Filinski
May 1996
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