TY  - RPRT
TI  - First-Class Refinement Types for Scala
AU  - Matt Bovel
AU  - Viktor Kunčak
AU  - Martin Odersky
PY  - 2026
DO  - 10.1145/3839541
UR  - https://arxiv.org/abs/2605.08369
ID  - 2605.08369
ER  -