@misc{indiciae7bf2f7437a44,
  title = {Gradual Soundness: Lessons from Static Python},
  author = {Kuang-Chen Lu and Ben Greenman and Carl Meyer and Dino Viehland and Aniket Panse and Shriram Krishnamurthi},
  year = {2022},
  doi = {10.22152/programming-journal.org/2023/7/2},
  url = {https://arxiv.org/abs/2206.13831},
  note = {Source identifier: 2206.13831}
}