Functional programming and input/output - Gordon, Andrew D., 1964- (Distinguished dissertations in computer science, 2008)