@misc{indiciaeb77fdd70480c,
  title = {Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification},
  author = {Cameron Moy and Phúc C. Nguyen and Sam Tobin-Hochstadt and David Van Horn},
  year = {2020},
  url = {https://arxiv.org/abs/2007.12630},
  note = {Source identifier: 2007.12630}
}