TY  - RPRT
TI  - Parametric Subtyping for Structural Parametric Polymorphism
AU  - Henry DeYoung
AU  - Andreia Mordido
AU  - Frank Pfenning
AU  - Ankush Das
PY  - 2023
UR  - https://arxiv.org/abs/2307.13661
ID  - 2307.13661
ER  -