TY  - RPRT
TI  - GADTs meet subtyping
AU  - Gabriel Scherer
AU  - Didier Rémy
PY  - 2013
UR  - https://arxiv.org/abs/1301.2903
ID  - 1301.2903
ER  -