Andrzej Filinski Controlling Effects Degree Type: Ph.D. in Computer Science Advisor(s): John Reynolds, Robert Harper Graduated: May 1996 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 Keywords monads, continuations, computational effects, monadic reflection, logical relations, Scheme, ML 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)
