Publication: Functional Query Languages with Categorical Types
Open/View Files
Date
2014-02-25
Authors
Published Version
Published Version
Journal Title
Journal ISSN
Volume Title
Publisher
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.
Research Data
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:
Description
Other Available Sources
Keywords
Computer science, Category Theory, Functional Query Languages, Functorial Data Migration, Higher-order Logic
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