[TYPES] type theory and Big Data
veronique.benzaken at lri.fr
Tue Oct 29 10:47:57 EDT 2013
In the research line stated by Ryan, you should also have a look at a
recent paper in the topic:
On 10/29/2013 03:24 AM, Barry Jay wrote:
> [ The Types Forum,
> http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
> Another typed approach to big data is to use the generic queries of
> pattern calculus
> and bondi http://bondi.it.uts.edu.au/
> Generic queries can be applied to data structures of arbitrary type,
> without adding any apparatus for collections or monads, etc. In
> principle, this allows a single, strongly-typed query to be executed
> across a wide variety of data bases, with varying schema.
> On 29/10/13 08:58, Ryan Wisnesky wrote:
>> [ The Types Forum,
>> http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>> 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?
> UTS CRICOS Provider Code: 00099F
> DISCLAIMER: This email message and any accompanying attachments may
> contain confidential information.
> If you are not the intended recipient, do not read, use, disseminate,
> distribute or copy this message or
> attachments. If you have received this message in error, please notify
> the sender immediately and delete
> this message. Any views expressed in this message are those of the
> individual sender, except where the
> sender expressly, and with authority, states them to be the views of the
> University of Technology Sydney.
> Before opening any attachments, please check them for viruses and defects.
> Think. Green. Do.
> Please consider the environment before printing this email.
Prof. Véronique Benzaken www.lri.fr/~benzaken
Vice Présidente Recherche du Département d'Informatique
Équipe Vals - Verification, Algorithms, Languages and Systems
tel : +33(0)1 6915 6628 fax : +33(0)1 6915 6586
Université Paris Sud L.R.I (UMR 8623, C.N.R.S)
Bat 650, 91405 Orsay Cedex
«Summum jus, summa injuria»
More information about the Types-list