TY  - RPRT
TI  - Simple, Decidable Type Inference with Subtyping
AU  - Eli Gottlieb
PY  - 2013
UR  - https://arxiv.org/abs/1104.3116
ID  - 1104.3116
ER  -