Blogs (27) >>
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

mlfamilyworkshop-2017-papers
10:30 - 11:45: ML 2017 - Types and modules at L3
mlfamilyworkshop-2017-papers150477300000010:30 - 10:55
Talk
mlfamilyworkshop-2017-papers150477450000010:55 - 11:20
Talk
mlfamilyworkshop-2017-papers150477600000011:20 - 11:45
Talk