Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong).

Eric L. Seidel, Ranjit Jhala, Westley Weimer

Browse the full ICFP paper archive.