@misc{indiciaeba07fcf694ed,
  title = {Refinement-Types Driven Development: A study},
  author = {Facundo Domínguez and Arnaud Spiwack},
  year = {2025},
  url = {https://arxiv.org/abs/2509.15005},
  note = {Source identifier: 2509.15005}
}