TY  - RPRT
TI  - Bounded Refinement Types
AU  - Niki Vazou
AU  - Alexander Bakst
AU  - Ranjit Jhala
PY  - 2015
UR  - https://arxiv.org/abs/1507.00385
ID  - 1507.00385
ER  -