%0 Journal Article %1 journals/jfp/SeidelJW18 %A Seidel, Eric L. %A Jhala, Ranjit %A Weimer, Westley %D 2018 %J J. Funct. Program. %K dblp %P e13 %T Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong). %U http://dblp.uni-trier.de/db/journals/jfp/jfp28.html#SeidelJW18 %V 28

@article{journals/jfp/SeidelJW18, added-at = {2018-07-10T00:00:00.000+0200}, author = {Seidel, Eric L. and Jhala, Ranjit and Weimer, Westley}, biburl = {https://www.bibsonomy.org/bibtex/279dd32afd6cafa74defd33b4f1c4214a/dblp}, ee = {https://doi.org/10.1017/S0956796818000126}, interhash = {f7370488419a76789f85360435c285b9}, intrahash = {79dd32afd6cafa74defd33b4f1c4214a}, journal = {J. Funct. Program.}, keywords = {dblp}, pages = {e13}, timestamp = {2018-07-11T11:39:30.000+0200}, title = {Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually Go Wrong).}, url = {http://dblp.uni-trier.de/db/journals/jfp/jfp28.html#SeidelJW18}, volume = 28, year = 2018 }