{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:55Z","timestamp":1772164075851,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,4]],"date-time":"2017-09-04T00:00:00Z","timestamp":1504483200000},"content-version":"vor","delay-in-days":365,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1422471,CCF-1223850,CCF-1218344,CCF-1116289,CCF-0954024"],"award-info":[{"award-number":["CCF-1422471,CCF-1223850,CCF-1218344,CCF-1116289,CCF-0954024"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006831","name":"U.S. Air Force","doi-asserted-by":"publisher","award":["FA8750-15-2-0075"],"award-info":[{"award-number":["FA8750-15-2-0075"]}],"id":[{"id":"10.13039\/100006831","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,9,4]]},"DOI":"10.1145\/2951913.2951915","type":"proceedings-article","created":{"date-parts":[[2016,8,29]],"date-time":"2016-08-29T08:17:16Z","timestamp":1472458636000},"page":"228-242","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)"],"prefix":"10.1145","author":[{"given":"Eric L.","family":"Seidel","sequence":"first","affiliation":[{"name":"University of California at San Diego, USA"}]},{"given":"Ranjit","family":"Jhala","sequence":"additional","affiliation":[{"name":"University of California at San Diego, USA"}]},{"given":"Westley","family":"Weimer","sequence":"additional","affiliation":[{"name":"University of Virginia, USA"}]}],"member":"320","published-online":{"date-parts":[[2016,9,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985864"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855741.1855756"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.70.1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535863"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/2535838.2535863.","DOI":"10.1145\/2535838.2535863"},{"key":"e_1_3_2_1_6_1","volume-title":"Preproceedings of the 15th Symposium on Trends in Functional Programming","author":"Christiansen D. R.","year":"2014","unstructured":"D. R. Christiansen. Reflect on your mistakes! lightweight domainspecific error messages. In Preproceedings of the 15th Symposium on Trends in Functional Programming, 2014."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/351240.351266.","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/582153.582176.","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1795772"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231387"},{"key":"e_1_3_2_1_14_1","unstructured":"231387."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1037\/h0031619"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1037\/h0031619.","DOI":"10.1037\/h0031619"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431664_5"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/1065010.1065036.","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1765712.1765734"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1007\/3-540-36575-3_20.","DOI":"10.1007\/3-540-36575-3_20"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1757028.1757040"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1007\/978-3-540-74130-5_12.","DOI":"10.1007\/978-3-540-74130-5_12"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705"},{"key":"e_1_3_2_1_25_1","unstructured":"944707."},{"key":"e_1_3_2_1_26_1","volume-title":"Content Analysis: An Introduction to Its Methodology","author":"Krippendorff K.","year":"2012","unstructured":"K. Krippendorff. Content Analysis: An Introduction to Its Methodology. SAGE Publications, 2012. ISBN 9781412983150."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.2307\/2529310"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/291891.291892"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159876.1159887"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250783"},{"key":"e_1_3_2_1_31_1","series-title":"TFP \u201907","first-page":"123","volume-title":"M","author":"Lindblad F.","year":"2007","unstructured":"F. Lindblad. Property directed generation of First-Order test data. In M. T. Moraz\u00e1n, editor, Proceedings of the Eighth Symposium on Trends in Functional Programming, volume 8 of TFP \u201907, pages 105\u2013123, 2007. ISBN 9781841501963."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1953163.1953308"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","unstructured":"ACM. ISBN 9781450305006. doi: 10.1145\/1953163.1953308.","DOI":"10.1145\/1953163.1953308"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048237.2048241"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/2048237.2048241.","DOI":"10.1145\/2048237.2048241"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48515-5_9"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2007.30"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944708"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/944705.944708.","DOI":"10.1145\/944705.944708"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660230"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784765"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/2784731.2784765.","DOI":"10.1145\/2784731.2784765"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364579"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/2364527.2364579.","DOI":"10.1145\/2364527.2364579"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411292"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/1411286.1411292.","DOI":"10.1145\/1411286.1411292"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2426890.2426897"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/2426890.2426897.","DOI":"10.1145\/2426890.2426897"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32037-8_1"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46669-8_33"},{"key":"e_1_3_2_1_53_1","volume-title":"June","author":"Seidel E. L.","year":"2016","unstructured":"E. L. Seidel, R. Jhala, and W. Weimer. Dynamic witnesses for static type errors, June 2016."},{"key":"e_1_3_2_1_54_1","unstructured":"07557."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49498-1_26"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79124-9_"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364554"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535870"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","unstructured":"doi: 10.1145\/2535838.2535870.","DOI":"10.1145\/2535838.2535870"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738009"}],"event":{"name":"ICFP'16: ACM SIGPLAN International Conference on Functional Programming","location":"Nara Japan","acronym":"ICFP'16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2951913.2951915","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2951913.2951915","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2951913.2951915","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:18:26Z","timestamp":1763457506000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2951913.2951915"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,4]]},"references-count":60,"alternative-id":["10.1145\/2951913.2951915","10.1145\/2951913"],"URL":"https:\/\/doi.org\/10.1145\/2951913.2951915","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3022670.2951915","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,9,4]]},"assertion":[{"value":"2016-09-04","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}