Andrzej Filinski Controlling Effects Degree Type: Ph.D. in Computer Science Advisor(s): John Reynolds, Robert Harper Graduated: May 1996 Keywords: monads, continuations, computational effects, monadic reflection, logical relations, Scheme, ML Abstract Currently Unavailable 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 Thesis Document CMU-CS-96-119.pdf (1.05 MB) Copyright Notice Return to Degrees List Thesis Repositories SCS Technical Reports Kilthub Proquest (requires CMU login)
