@misc{indiciae8a87b5e11c33,
  title = {Refinement Reflection (or, how to turn your favorite language into a proof assistant using SMT)},
  author = {Niki Vazou and Ranjit Jhala},
  year = {2016},
  url = {https://arxiv.org/abs/1610.04641},
  note = {Source identifier: 1610.04641}
}