{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:50Z","timestamp":1750306490453,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,10,27]],"date-time":"2015-10-27T00:00:00Z","timestamp":1445904000000},"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":[[2015,10,27]]},"DOI":"10.1145\/2815072.2815080","type":"proceedings-article","created":{"date-parts":[[2015,11,3]],"date-time":"2015-11-03T20:02:09Z","timestamp":1446580929000},"page":"49-58","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Using dependent types and tactics to enable semantic optimization of language-integrated queries"],"prefix":"10.1145","author":[{"given":"Gregory","family":"Malecha","sequence":"first","affiliation":[{"name":"University of California at San Diego, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ryan","family":"Wisnesky","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,10,27]]},"reference":[{"volume-title":"Addison-Wesley","year":"1995","author":"Abiteboul Serge","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","unstructured":"Agda Development Team. The Agda proof assistant reference manual version 2.4.2. 2014.  Agda Development Team. The Agda proof assistant reference manual version 2.4.2. 2014."},{"key":"e_1_3_2_1_3_1","unstructured":"Michael Barr and Charles Wells editors. Category theory for computing science 2nd ed. 1995.   Michael Barr and Charles Wells editors. Category theory for computing science 2nd ed. 1995."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Vronique\n       \n      Benzaken velyne Contejean and Stefania Dumbrava. A Coq Formalization of the Relational Data Model. In Zhong Shao editor Programming Languages and Systems volume \n  8410\n   of \n  Lecture Notes in Computer Science pages 189\u2013\n  208\n  . 2014.  Vronique Benzaken velyne Contejean and Stefania Dumbrava. A Coq Formalization of the Relational Data Model. In Zhong Shao editor Programming Languages and Systems volume 8410 of Lecture Notes in Computer Science pages 189\u2013208. 2014.","DOI":"10.1007\/978-3-642-54833-8_11"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/993954"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681300018X"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677006"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1121995.1122010"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544174.2500575"},{"key":"e_1_3_2_1_10_1","unstructured":"Tom Ellis. Opaleye. Technical report http:\/\/github.com\/tomjaguarpaw\/haskell-opaleye.  Tom Ellis. Opaleye. Technical report http:\/\/github.com\/tomjaguarpaw\/haskell-opaleye."},{"volume-title":"Harvard University","year":"2014","author":"Malecha Gregory","key":"e_1_3_2_1_12_1"},{"volume-title":"The Functional Approach to Data Management","year":"2003","author":"Grust Torsten","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066157.1066252"},{"volume-title":"VLDB","year":"1999","author":"Heng Qi","key":"e_1_3_2_1_15_1"},{"volume-title":"CTCS \u201997","year":"1997","author":"Kazem Lellahi S.","key":"e_1_3_2_1_16_1"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Gregory\n       \n      Malecha Adam\n       \n      Chlipala and \n      \n      \n      Thomas\n       \n      Braibant\n    .\n      \n  \n   \n  Compositional Computational Reflection. In Gerwin Klein and Ruben Gamboa editors Interactive Theorem Proving volume \n  8558\n   of \n  Lecture Notes in Computer Science pages 374\u2013\n  389\n  . 2014.  Gregory Malecha Adam Chlipala and Thomas Braibant. Compositional Computational Reflection. In Gerwin Klein and Ruben Gamboa editors Interactive Theorem Proving volume 8558 of Lecture Notes in Computer Science pages 374\u2013389. 2014.","DOI":"10.1007\/978-3-319-08970-6_24"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706329"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/645503.656255"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863591"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Val Tannen Peter Buneman and Limsoon Wong. Naturally embedded query languages. ICDT \u201992 pages 140\u2013154 1992.   Val Tannen Peter Buneman and Limsoon Wong. Naturally embedded query languages. ICDT \u201992 pages 140\u2013154 1992.","DOI":"10.1007\/3-540-56039-4_38"},{"key":"e_1_3_2_1_22_1","series-title":"Lecture Notes in Computer Science","first-page":"173","volume-title":"Implementation and Application of Functional Languages","author":"van der Walt Paul"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500579"}],"event":{"name":"SPLASH '15: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Pittsburgh PA USA","acronym":"SPLASH '15"},"container-title":["Proceedings of the 15th Symposium on Database Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2815072.2815080","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2815072.2815080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:36Z","timestamp":1750225716000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2815072.2815080"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,27]]},"references-count":22,"alternative-id":["10.1145\/2815072.2815080","10.1145\/2815072"],"URL":"https:\/\/doi.org\/10.1145\/2815072.2815080","relation":{},"subject":[],"published":{"date-parts":[[2015,10,27]]},"assertion":[{"value":"2015-10-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}