TY  - RPRT
TI  - Refinement Types for Ruby
AU  - Milod Kazerounian
AU  - Niki Vazou
AU  - Austin Bourgerie
AU  - Jeffrey S. Foster
AU  - Emina Torlak
PY  - 2017
UR  - https://arxiv.org/abs/1711.09281
ID  - 1711.09281
ER  -