Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Thu 7 Sep 2017 10:30 - 10:55 at L3 - Types and modules

Distributed applications often eschew strong consistency and replicate data asynchronously to improve availability and fault tolerance. However, programming under eventual consistency is significantly more complex and often leads to onerous programming model where inconsistencies must be handled explicitly. We introduce vml, a programming model that extends ML datatypes with mergeability a la version control systems with the ability to define and compose distributed ML computations around such data. Our OCaml implementation instantiates mergeable types on Irmin, a distributed content-addressible store to enable composable and highly-available distributed applications.

Thu 7 Sep

Displayed time zone: Belfast change

10:30 - 11:45
Types and modulesML at L3
10:30
25m
Talk
Mergeable types
ML
Gowtham Kaki Purdue University, KC Sivaramakrishnan University of Cambridge, Samodya Abeysiriwardane Purdue University, Suresh Jagannathan Purdue University
10:55
25m
Talk
Tierless modules
ML
Gabriel Radanne Université Denis Diderot Paris 7, PPS, Jérôme Vouillon Univ Paris Diderot, Sorbonne Paris Cité, BeSport
11:20
25m
Talk
First-class subtypes
ML
Jeremy Yallop University of Cambridge, UK, Stephen Dolan