{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:15Z","timestamp":1750220835577,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T00:00:00Z","timestamp":1565222400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,8]]},"DOI":"10.1145\/3331545.3342590","type":"proceedings-article","created":{"date-parts":[[2019,7,29]],"date-time":"2019-07-29T20:51:45Z","timestamp":1564433505000},"page":"44-57","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["G2Q: Haskell constraint solving"],"prefix":"10.1145","author":[{"given":"William T.","family":"Hallahan","sequence":"first","affiliation":[{"name":"Yale University, USA"}]},{"given":"Anton","family":"Xue","sequence":"additional","affiliation":[{"name":"Yale University, USA"}]},{"given":"Ruzica","family":"Piskac","sequence":"additional","affiliation":[{"name":"Yale University, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,8,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Siddharth Agarwal. 2012. Functional SMT solving: A new interface for programmers. Master\u2019s thesis Indian Institute of Technology Kanpur (2012). Siddharth Agarwal. 2012. Functional SMT solving: A new interface for programmers. Master\u2019s thesis Indian Institute of Technology Kanpur (2012)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122955.3122970"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Henk P Barendregt. 1992. Lambda calculi with types. (1992). Henk P Barendregt. 1992. Lambda calculi with types. (1992).","DOI":"10.1093\/oso\/9780198537618.003.0002"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032319"},{"key":"e_1_3_2_1_5_1","unstructured":"Clark Barrett Pascal Fontaine and Cesare Tinelli. 2017. The SMT-LIB Standard 2.6. 103. http:\/\/smtlib.cs.uiowa.edu\/papers\/smt-libreference-v2.6-r2017-07-18.pdf Clark Barrett Pascal Fontaine and Cesare Tinelli. 2017. The SMT-LIB Standard 2.6. 103. http:\/\/smtlib.cs.uiowa.edu\/papers\/smt-libreference-v2.6-r2017-07-18.pdf"},{"key":"e_1_3_2_1_6_1","first-page":"209","article-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs","volume":"8","author":"Cadar Cristian","year":"2008","journal-title":"OSDI"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2408776.2408795"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(72)90034-0"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804307"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254087"},{"key":"e_1_3_2_1_12_1","unstructured":"Bruno Dutertre and Leonardo De Moura. 2006. The yices smt solver. Tool paper at http:\/\/yices. csl. sri. com\/tool-paper. pdf 2 2 (2006) 1\u20132. Bruno Dutertre and Leonardo De Moura. 2006. The yices smt solver. Tool paper at http:\/\/yices. csl. sri. com\/tool-paper. pdf 2 2 (2006) 1\u20132."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122955.3122969"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804318"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227700"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314618"},{"key":"e_1_3_2_1_17_1","first-page":"95","article-title":"Curry: A truly functional logic language","volume":"95","author":"Hanus Michael","year":"1995","journal-title":"Proc. ILPS"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815428"},{"key":"e_1_3_2_1_19_1","unstructured":"Isaac Jones. 2005. The Haskell Cabal a common architecture for building applications and libraries. (2005). Isaac Jones. 2005. The Haskell Cabal a common architecture for building applications and libraries. (2005)."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000319"},{"key":"e_1_3_2_1_21_1","unstructured":"Simon Peyton Jones and Mark Shields. 2004. Lexically-scoped type variables. (2004). Simon Peyton Jones and Mark Shields. 2004. Lexically-scoped type variables. (2004)."},{"volume-title":"Haskell Symposium.","year":"2013","author":"Katayama Susumu","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032266.2032296"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103675"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806632"},{"key":"e_1_3_2_1_26_1","unstructured":"Henry Lieberman. 2001. Your wish is my command: Programming by example. Morgan Kaufmann. Henry Lieberman. 2001. Your wish is my command: Programming by example. Morgan Kaufmann."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291211"},{"volume-title":"EMSQMS","year":"2010","author":"\u2019c Mladen","key":"e_1_3_2_1_28_1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242744.3242754"},{"key":"e_1_3_2_1_30_1","unstructured":"Simon Peyton Jones. 2003. Haskell 98 language and libraries: the revised report. Cambridge University Press. Simon Peyton Jones. 2003. Haskell 98 language and libraries: the revised report. Cambridge University Press."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908093"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.1994.11997004"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46669-8_33"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509586"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594340"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2714064.2660208"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3242744.3242756"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633366"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628161"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480359.2429121"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480889"}],"event":{"name":"ICFP '19: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Berlin Germany","acronym":"ICFP '19"},"container-title":["Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331545.3342590","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3331545.3342590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:38Z","timestamp":1750202018000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331545.3342590"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,8]]},"references-count":42,"alternative-id":["10.1145\/3331545.3342590","10.1145\/3331545"],"URL":"https:\/\/doi.org\/10.1145\/3331545.3342590","relation":{},"subject":[],"published":{"date-parts":[[2019,8,8]]},"assertion":[{"value":"2019-08-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}