JavaScript is disabled for your browser. Some features of this site may not work without it.
Capsules And Non-Well-Founded Computation
Date Issued
2013-08-19Subject
Capsule; Functional and Imperative programming; Coinductive types
Committee Chair
Kozen, Dexter Campbell
Committee Member
Saxena, Ashutosh; Kress Gazit, Hadas; Foster, John N.
Degree Discipline
Computer Science
Degree Name
Ph. D., Computer Science
Degree Level
Doctor of Philosophy
Type
dissertation or thesis