@misc{indiciae0aadb04e3737,
  title = {Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)},
  author = {Eric L Seidel and Ranjit Jhala and Westley Weimer},
  year = {2018},
  url = {https://arxiv.org/abs/1606.07557},
  note = {Source identifier: 1606.07557}
}