{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T20:12:02Z","timestamp":1774987922391,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T00:00:00Z","timestamp":1380067200000},"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":[[2013,9,25]]},"DOI":"10.1145\/2500365.2500586","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T09:13:17Z","timestamp":1380100397000},"page":"403-416","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":46,"title":["A practical theory of language-integrated query"],"prefix":"10.1145","author":[{"given":"James","family":"Cheney","sequence":"first","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]},{"given":"Sam","family":"Lindley","sequence":"additional","affiliation":[{"name":"University of Strathclyde, Glasgow, United Kingdom"}]},{"given":"Philip","family":"Wadler","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2013,9,25]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/62070.45066"},{"key":"e_1_3_2_2_2_1","volume-title":"TFP","author":"Axelsson E.","year":"2012","unstructured":"E. Axelsson and J. Svenningsson . Combining deep and shallow embedding for EDSL . In TFP , 2012 . E. Axelsson and J. Svenningsson. Combining deep and shallow embedding for EDSL. In TFP, 2012."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"crossref","unstructured":"E.\n      Axelsson K.\n      Claessen M.\n      Sheeran J.\n      Svenningsson D.\n      Engdal and \n      A.\n      Persson\n  . \n  The design and implementation of Feldspar--an embedded language for digital signal processing\n  . In J. Hage and M. T. Moraz\u00e1n editors IFL volume \n  6647\n   of \n  LNCS pages \n  121\n  --\n  136\n  . \n  Springer 2010\n  .   E. Axelsson K. Claessen M. Sheeran J. Svenningsson D. Engdal and A. Persson. The design and implementation of Feldspar--an embedded language for digital signal processing. In J. Hage and M. T. Moraz\u00e1n editors IFL volume 6647 of LNCS pages 121--136. Springer 2010.","DOI":"10.1007\/978-3-642-24276-2_8"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2133806.2133820"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297063"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37036-6_2"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/181550.181564"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500586"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806612"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926397"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03793-1_3"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1777707.1777724"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/971697.602300"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/382780.382785"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1978542.1978556"},{"key":"e_1_3_2_2_17_1","first-page":"1","volume-title":"IFL, number 6647 in LNCS","author":"Giorgidze G.","year":"2010","unstructured":"G. Giorgidze , T. Grust , T. Schreiber , and J. Weijers . Haskell boards the Ferry - database-supported program execution for Haskell . In IFL, number 6647 in LNCS , pages 1 -- 18 . Springer-Verlag , 2010 . G. Giorgidze, T. Grust, T. Schreiber, and J. Weijers. Haskell boards the Ferry - database-supported program execution for Haskell. In IFL, number 6647 in LNCS, pages 1--18. Springer-Verlag, 2010."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368143"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/974750.974754"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1559845.1559982"},{"issue":"1","key":"e_1_3_2_2_21_1","first-page":"162","article-title":"Avalanche-safe LINQ compilation","volume":"3","author":"Grust T.","year":"2010","unstructured":"T. Grust , J. Rittinger , and T. Schreiber . Avalanche-safe LINQ compilation . PVLDB , 3 ( 1 ): 162 -- 172 , 2010 . T. Grust, J. Rittinger, and T. Schreiber. Avalanche-safe LINQ compilation. PVLDB, 3 (1): 162--172, 2010.","journal-title":"PVLDB"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-011-9078-8"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103798"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364572"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863533"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2001269.2001285"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142552"},{"key":"e_1_3_2_2_28_1","volume-title":"Query expressions (F\\# 3.0 documentation)","year":"2013","unstructured":"Microsoft. Query expressions (F\\# 3.0 documentation) , 2013 . http:\/\/msdn.microsoft.com\/en-us\/library\/vstudio\/hh225374.aspx, accessed March 18, 2013. Microsoft. Query expressions (F\\# 3.0 documentation), 2013. http:\/\/msdn.microsoft.com\/en-us\/library\/vstudio\/hh225374.aspx, accessed March 18, 2013."},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034815"},{"key":"e_1_3_2_2_30_1","volume-title":"Building LINQ queries at runtime in (F\\#)","author":"Petricek T.","year":"2007","unstructured":"}petricek-dynamic-flinq T. Petricek . Building LINQ queries at runtime in (F\\#) , 2007 . http:\/\/tomasp.net\/blog\/dynamic-flinq.aspx. }petricek-dynamic-flinqT. Petricek. Building LINQ queries at runtime in (F\\#), 2007. http:\/\/tomasp.net\/blog\/dynamic-flinq.aspx."},{"key":"e_1_3_2_2_31_1","volume-title":"Building LINQ queries at runtime in (C\\#)","author":"Petricek T.","year":"2007","unstructured":"}petricek-dynamic-linq T. Petricek . Building LINQ queries at runtime in (C\\#) , 2007 . http:\/\/tomasp.net\/blog\/dynamic-linq-queries.aspx. }petricek-dynamic-linqT. Petricek. Building LINQ queries at runtime in (C\\#), 2007. http:\/\/tomasp.net\/blog\/dynamic-linq-queries.aspx."},{"key":"e_1_3_2_2_32_1","volume-title":"Pre-proceedings of TFP","author":"Petricek T.","year":"2012","unstructured":"T. Petricek and D. Syme . Syntax Matters: Writing abstract computations in F\\# . Pre-proceedings of TFP , 2012 . http:\/\/www.cl.cam.ac.uk\/asciitildetp322\/drafts\/notations.pdf. T. Petricek and D. Syme. Syntax Matters: Writing abstract computations in F\\#. Pre-proceedings of TFP, 2012. http:\/\/www.cl.cam.ac.uk\/asciitildetp322\/drafts\/notations.pdf."},{"key":"e_1_3_2_2_33_1","volume-title":"Almqvist and Wiksell","author":"Prawitz D.","year":"1965","unstructured":"D. Prawitz . Natural Deduction : A Proof-Theoretical Study . Almqvist and Wiksell , Stockholm , 1965 . D. Prawitz. Natural Deduction: A Proof-Theoretical Study. Almqvist and Wiksell, Stockholm, 1965."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_28"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2184319.2184345"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159876.1159884"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/2430674"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00053-0"},{"key":"e_1_3_2_2_39_1","first-page":"49","volume-title":"Proceedings of 3rd International Workshop on Database Programming Languages","author":"Trinder P.","year":"1991","unstructured":"P. Trinder . Comprehensions, a query notation for DBPLs . In Proceedings of 3rd International Workshop on Database Programming Languages , pages 49 -- 62 . Morgan Kaufmann , 1991 . P. Trinder. Comprehensions, a query notation for DBPLs. In Proceedings of 3rd International Workshop on Database Programming Languages, pages 49--62. Morgan Kaufmann, 1991."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TENCON.1989.176921"},{"key":"e_1_3_2_2_41_1","volume-title":"A Ferry-based query backend for the Links programming language. Master's thesis","author":"Ulrich A.","year":"2011","unstructured":"A. Ulrich . A Ferry-based query backend for the Links programming language. Master's thesis , University of T\u00fcbingen , 2011 . A. Ulrich. A Ferry-based query backend for the Links programming language. Master's thesis, University of T\u00fcbingen, 2011."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.04.001"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1996.0037"}],"event":{"name":"ICFP'13: ACM SIGPLAN International Conference on Functional Programming","location":"Boston Massachusetts USA","acronym":"ICFP'13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","Northeastern University"]},"container-title":["Proceedings of the 18th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500365.2500586","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2500365.2500586","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:34:32Z","timestamp":1750217672000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500365.2500586"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,25]]},"references-count":42,"alternative-id":["10.1145\/2500365.2500586","10.1145\/2500365"],"URL":"https:\/\/doi.org\/10.1145\/2500365.2500586","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2544174.2500586","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,9,25]]},"assertion":[{"value":"2013-09-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}