Functional Query Languages with Categorical Types

Description

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

Links & Downloads

1. Wisnesky, Ryan. 2014. Functional Query Languages with Categorical Types. Doctoral dissertation, Harvard University.
2. http://dissertations.umi.com/gsas.harvard:11288
3. http://nrs.harvard.edu/urn-3:HUL.InstRepos:11744455

Tags

Computer science

Category Theory

Functional Query Languages

Functorial Data Migration

Higher-order Logic

Additional Fields

Identifer	oai:union.ndltd.org:harvard.edu/oai:dash.harvard.edu:1/11744455
Date	25 February 2014
Creators	Wisnesky, Ryan
Contributors	Morrisett, Greg Gregory
Publisher	Harvard University
Source Sets	Harvard University
Language	en_US
Detected Language	English
Type	Thesis or Dissertation
Rights	open