@misc{indiciaebc434e757b7d,
  title = {Consistency types for replicated data in a higher-order distributed programming language},
  author = {Xin Zhao and Philipp Haller},
  year = {2020},
  doi = {10.22152/programming-journal.org/2021/5/6},
  url = {https://arxiv.org/abs/1907.00822},
  note = {Source identifier: 1907.00822}
}