@misc{indiciae64d409838c06,
  title = {Contextual Modal Types for Algebraic Effects and Handlers},
  author = {Nikita Zyuzin and Aleksandar Nanevski},
  year = {2021},
  url = {https://arxiv.org/abs/2103.02976},
  note = {Source identifier: 2103.02976}
}