TY  - RPRT
TI  - The Usability of Advanced Type Systems: Rust as a Case Study
AU  - Kasra Ferdowsi
PY  - 2023
UR  - https://arxiv.org/abs/2301.02308
ID  - 2301.02308
ER  -