TY  - RPRT
TI  - Qualifying System F-sub
AU  - Edward Lee
AU  - Yaoyu Zhao
AU  - James You
AU  - Kavin Satheeskumar
AU  - Ondřej Lhoták
AU  - Jonathan Brachthäuser
PY  - 2023
DO  - 10.1145/3649832
UR  - https://arxiv.org/abs/2311.07480
ID  - 2311.07480
ER  -