JavaScript is disabled for your browser. Some features of this site may not work without it.
Use of eCommons for rapid dissemination of COVID-19 research
In order to maximize the discoverability of COVID-19 research, and to conform with repository best practices and the requirements of publishers and research funders, we provide special guidance for COVID-19 submissions.
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