Browsing Faculty of Arts and Sciences by Keyword "Functional Query Languages"
Now showing items 1-1 of 1
-
Functional Query Languages with Categorical Types
(2014-02-25)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: