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