TY  - RPRT
TI  - Soundly Handling Linearity
AU  - Wenhao Tang
AU  - Daniel Hillerström
AU  - Sam Lindley
AU  - J. Garrett Morris
PY  - 2024
DO  - 10.1145/3632896
UR  - https://arxiv.org/abs/2307.09383
ID  - 2307.09383
ER  -