[TYPES] type theory and Big Data

Ryan Wisnesky 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?
> https://www.simonsfoundation.org/quanta/20131004-the-mathematical-shape-of-things-to-come/ 

More information about the Types-list mailing list