@misc{indiciae8f3f15b4b36b,
  title = {Towards Gradual Checking of Reference Capabilities},
  author = {Kiko Fernandez-Reyes and Isaac Oscar Gariano and James Noble and Tobias Wrigstad},
  year = {2019},
  url = {https://arxiv.org/abs/1909.01465},
  note = {Source identifier: 1909.01465}
}