TY  - RPRT
TI  - Dynamic Witnesses for Static Type Errors (or, Ill-Typed Programs Usually Go Wrong)
AU  - Eric L Seidel
AU  - Ranjit Jhala
AU  - Westley Weimer
PY  - 2018
UR  - https://arxiv.org/abs/1606.07557
ID  - 1606.07557
ER  -