@misc{indiciaefbc577399fcc,
  title = {Diamonds are not forever: Liveness in reactive programming with guarded recursion},
  author = {Patrick Bahr and Christian Uldal Graulund and Rasmus Møgelberg},
  year = {2020},
  url = {https://arxiv.org/abs/2003.03170},
  note = {Source identifier: 2003.03170}
}