Return to search

Functional Query Languages with Categorical Types

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: / Engineering and Applied Sciences

Identiferoai:union.ndltd.org:harvard.edu/oai:dash.harvard.edu:1/11744455
Date25 February 2014
CreatorsWisnesky, Ryan
ContributorsMorrisett, Greg Gregory
PublisherHarvard University
Source SetsHarvard University
Languageen_US
Detected LanguageEnglish
TypeThesis or Dissertation
Rightsopen

Page generated in 0.0019 seconds