3 ms·

Gradual Soundness: Lessons from static Python

• neonate 4y ago
  The paper is here: https://cs.brown.edu/~sk/Publications/Papers/Published/lgmvpk-static-python/paper.pdf https://cs.brown.edu/~sk/Publications/Papers/Published/lgmvp...