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

10:30 - 11:45: ML 2017 - Types and modules at L3
mlfamilyworkshop-2017-papers150477300000010:30 - 10:55
Gowtham KakiPurdue University, KC SivaramakrishnanUniversity of Cambridge, Samodya AbeysiriwardanePurdue University, Suresh JagannathanPurdue University
mlfamilyworkshop-2017-papers150477450000010:55 - 11:20
Gabriel RadanneUniversité Denis Diderot Paris 7, PPS, Jérôme VouillonUniv Paris Diderot, Sorbonne Paris Cité, BeSport
mlfamilyworkshop-2017-papers150477600000011:20 - 11:45
Jeremy YallopUniversity of Cambridge, UK, Stephen Dolan