Functional Query Languages with Categorical Types
Open/View files
Date
February 25, 2014
Author(s)
The Harvard community has made this article openly available. Please share how this access benefits you.
Citation
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 (LAA), as set forth at Terms of Service
Collection