TY  - RPRT
TI  - Study of the Subtyping Machine of Nominal Subtyping with Variance (full version)
AU  - Ori Roth
PY  - 2021
DO  - 10.1145/3485514
UR  - https://arxiv.org/abs/2109.03950
ID  - 2109.03950
ER  -