TY  - RPRT
TI  - Explicit Refinement Types
AU  - Jad Elkhaleq Ghalayini
AU  - Neel Krishnaswami
PY  - 2023
DO  - 10.1145/3607837
UR  - https://arxiv.org/abs/2311.13995
ID  - 2311.13995
ER  -