TY  - RPRT
TI  - Refinement Type Inference via Horn Constraint Optimization
AU  - Kodai Hashimoto
AU  - Hiroshi Unno
PY  - 2015
UR  - https://arxiv.org/abs/1505.02878
ID  - 1505.02878
ER  -