@misc{indiciae1064f4c2cd80,
  title = {CallE: An Effect System for Method Calls},
  author = {Isaac Oscar Gariano and James Noble and Marco Servetto},
  year = {2019},
  doi = {10.1145/3359591.3359731},
  url = {https://arxiv.org/abs/1907.04934},
  note = {Source identifier: 1907.04934}
}