TY  - RPRT
TI  - Refinement-Types Driven Development: A study
AU  - Facundo Domínguez
AU  - Arnaud Spiwack
PY  - 2025
UR  - https://arxiv.org/abs/2509.15005
ID  - 2509.15005
ER  -