Functional Query Languages with Categorical Types
MetadataShow full item record
CitationWisnesky, Ryan. 2014. Functional Query Languages with Categorical Types. Doctoral dissertation, Harvard University.
AbstractWe 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:
Citable link to this pagehttp://nrs.harvard.edu/urn-3:HUL.InstRepos:11744455
- FAS Theses and Dissertations