@article{lgmvpk-pj-2023,
  author={Kuang-Chen Lu and Ben Greenman and Carl Meyer and Dino Viehland and Aniket Panse and Shriram Krishnamurthi},
  title={Gradual Soundness: Lessons from {Static Python}},
  journal={{Programming}},
  volume={7},
  number={1},
  pages={2:1--2:40},
  doi={10.22152/programming-journal.org/2023/7/2},
  year={2023}
}