@misc{indiciae92589b6c82b9,
  title = {Focusing on Refinement Typing},
  author = {Dimitrios J. Economou and Neel Krishnaswami and Jana Dunfield},
  year = {2023},
  url = {https://arxiv.org/abs/2209.13000},
  note = {Source identifier: 2209.13000}
}