@misc{indiciae0b0930332faa,
  title = {Mechanizing Refinement Types (extended)},
  author = {Michael Borkowski and Niki Vazou and Ranjit Jhala},
  year = {2022},
  url = {https://arxiv.org/abs/2207.05617},
  note = {Source identifier: 2207.05617}
}