Search
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: