Higher-Order Patterns in Replicated Data Types

Adriaan Leijnse, Paulo Sérgio Almeida, Carlos Baquero. Higher-Order Patterns in Replicated Data Types. In Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019. ACM, 2019. [doi]

@inproceedings{LeijnseAB19,
  title = {Higher-Order Patterns in Replicated Data Types},
  author = {Adriaan Leijnse and Paulo Sérgio Almeida and Carlos Baquero},
  year = {2019},
  doi = {10.1145/3301419.3323971},
  url = {https://doi.org/10.1145/3301419.3323971},
  researchr = {https://researchr.org/publication/LeijnseAB19},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 6th Workshop on Principles and Practice of Consistency for Distributed Data, PaPoC@EuroSys 2019, Dresden, Germany, March 25-28, 2019},
  publisher = {ACM},
  isbn = {978-1-4503-6276-4},
}