TY  - RPRT
TI  - Kotlin's Type System is (Also) Unsound
AU  - Elad Kinsbruner
AU  - Hila Peleg
AU  - Shachar Itzhaky
PY  - 2024
UR  - https://arxiv.org/abs/2408.10804
ID  - 2408.10804
ER  -