TY  - RPRT
TI  - Gradual Soundness: Lessons from Static Python
AU  - Kuang-Chen Lu
AU  - Ben Greenman
AU  - Carl Meyer
AU  - Dino Viehland
AU  - Aniket Panse
AU  - Shriram Krishnamurthi
PY  - 2022
DO  - 10.22152/programming-journal.org/2023/7/2
UR  - https://arxiv.org/abs/2206.13831
ID  - 2206.13831
ER  -