[TYPES] type theory and Big Data
ryan at cs.harvard.edu
Mon Oct 28 17:58:49 EDT 2013
Collection types, typically monadic, were instrumental in the development of 'functional query languages'. This line of work started in the early 90s and a classical paper is Tannen, Buneman, and Wong's "Naturally Embedded Query Languages":
Such languages continue to be proposed as interfaces for big-data systems like MapReduce:
The implications of other type-theoretic constructions to information management are topics of current research.
On Oct 28, 2013, at 7:09 AM, Dr. Rod Moten <rm27 at cornell.edu> wrote:
> [ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
> Do you think type theory has a role to play in providing the mathematics needed for Big Data?
More information about the Types-list