TY  - RPRT
TI  - Mechanizing Refinement Types (extended)
AU  - Michael Borkowski
AU  - Niki Vazou
AU  - Ranjit Jhala
PY  - 2022
UR  - https://arxiv.org/abs/2207.05617
ID  - 2207.05617
ER  -