[TYPES] type theory and Big Data

[Veronique Benzaken]

Hello,

In the research line stated by Ryan, you should also have a look at a 
recent paper in the topic:

http://www.pps.univ-paris-diderot.fr/~gc/papers/popl13.pdf




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
>
> http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-89184-0
>
>
> 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.
>
> Yours,
> Barry
>
>
>
>
> On 29/10/13 08:58, Ryan Wisnesky wrote:
>> [ The Types Forum,
>> http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
>>
>> Hi,
>>
>> 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":
>>
>> http://repository.upenn.edu/cgi/viewcontent.cgi?article=1536&context=cis_reports
>>
>>
>> Such languages continue to be proposed as interfaces for big-data
>> systems like MapReduce:
>>
>> http://cacm.acm.org/magazines/2011/4/106584-a-co-relational-model-of-data-for-large-shared-data-banks/fulltext
>>
>>
>> The implications of other type-theoretic constructions to information
>> management are topics of current research.
>>
>> Regards,
>> Ryan
>>
>>
>> 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/
>>>
>
> 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»
--