Andrzej Filinski

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