@misc{indiciaed5c821d744c2,
  title = {Continuity as a computational effect},
  author = {Renato Neves and Luis S. Barbosa and Dirk Hofmann and Manuel A. Martins},
  year = {2016},
  doi = {10.1016/j.jlamp.2016.05.005},
  url = {https://arxiv.org/abs/1507.03219},
  note = {Source identifier: 1507.03219}
}