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)