TY  - RPRT
TI  - Nested Refinements for Dynamic Languages
AU  - Ravi Chugh
AU  - Patrick M. Rondon
AU  - Ranjit Jhala
PY  - 2011
UR  - https://arxiv.org/abs/1103.5055
ID  - 1103.5055
ER  -