TY  - RPRT
TI  - Practical Range Refinement Types with Inference
AU  - Valentin Aebi
AU  - Carlo A. Furia
PY  - 2026
UR  - https://arxiv.org/abs/2607.00824
ID  - 2607.00824
ER  -