Write a Blog >>
Tue 20 Jun 2017 14:00 - 14:30 at Vertex WS208 - Afternoon Session

The Lasp programming language provides combinator functions such as Union and Intersection for combining set CRDTs. When designing a CRDT combinator, care must be taken to ensure that the combinator is monotone separately in each of its arguments, so that applying the combinator to a tuple of increasing input streams yields an increasing result stream. We consider designing a type system which can prove the monotonicity of CRDT combinators.

Tue 20 Jun

pmldc-2017-papers
14:00 - 15:30: PMLDC 2017 - Afternoon Session at Vertex WS208
pmldc-2017-papers149796000000014:00 - 14:30
Talk
Kevin Clancy, Heather MillerEcole Polytechnique Federale de Lausanne
File Attached
pmldc-2017-papers149796180000014:30 - 15:00
Talk
Deepthi Devaki Akkoorath, José Brandão, Annette BieniusaTechnischen Universität Kaiserslautern, Carlos BaqueroHASLab/INESC TEC & University of Minho
File Attached
pmldc-2017-papers149796360000015:00 - 15:30
Talk
Vitor Enes, Paulo Sérgio Almeida, Carlos BaqueroHASLab/INESC TEC & University of Minho
File Attached