TY  - RPRT
TI  - Gradual System F
AU  - Elizabeth Labrada
AU  - Matías Toro
AU  - Éric Tanter
PY  - 2020
UR  - https://arxiv.org/abs/1807.04596
ID  - 1807.04596
ER  -