@misc{indiciae81f68623c65d,
  title = {HasChor: Functional Choreographic Programming for All (Functional Pearl)},
  author = {Gan Shen and Shun Kashiwa and Lindsey Kuper},
  year = {2023},
  doi = {10.1145/3607849},
  url = {https://arxiv.org/abs/2303.00924},
  note = {Source identifier: 2303.00924}
}