![](https://csd.cmu.edu/sites/default/files/styles/full_width_focal_point/public/graduate.png.webp?itok=Wsy3nMEH)
Andrzej Filinski
Thesis Title:
Controlling Effects
Degree Type:
Ph.D. in Computer Science
Advisor(s):
John Reynolds, Robert Harper
Graduated:
May
1996
Thesis Committee:
Robert Harp er (Co-Chair)
John Reynolds (Co-Chair)
Stephen Brookes
Gordon Plotkin (University of Edinburgh)
James Morris, Head, Computer Science Department
Raj Reddy Dean, School of Computer Science
Keywords: monads, continuations, computational effects, monadic reflection, logical relations, Scheme, ML
CMU-CS-96-119.pdf (1.05 MB)Copyright Notice