Functional Query Languages with Categorical Types
Author
Metadata
Show full item recordCitation
Wisnesky, Ryan. 2014. Functional Query Languages with Categorical Types. Doctoral dissertation, Harvard University.Abstract
We study three category-theoretic types in the context of functional query languages (typed lambda-calculi extended with additional operations for bulk data processing). The types we study are:Terms of Use
This article is made available under the terms and conditions applicable to Other Posted Material, as set forth at http://nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of-use#LAACitable link to this page
http://nrs.harvard.edu/urn-3:HUL.InstRepos:11744455
Collections
- FAS Theses and Dissertations [6138]
Contact administrator regarding this item (to report mistakes or request changes)