@misc{indiciaeb4dcd313504d,
  title = {The Usability of Advanced Type Systems: Rust as a Case Study},
  author = {Kasra Ferdowsi},
  year = {2023},
  url = {https://arxiv.org/abs/2301.02308},
  note = {Source identifier: 2301.02308}
}