TY  - RPRT
TI  - Simple Reference Immutability for System F-sub
AU  - Edward Lee
AU  - Ondřej Lhoták
PY  - 2023
DO  - 10.1145/3622828
UR  - https://arxiv.org/abs/2307.04960
ID  - 2307.04960
ER  -