@misc{indiciae7eca8a8f2da4,
  title = {Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming without Space Leaks},
  author = {Patrick Bahr and Christian Graulund and Rasmus Møgelberg},
  year = {2019},
  url = {https://arxiv.org/abs/1903.05879},
  note = {Source identifier: 1903.05879}
}