{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:29Z","timestamp":1750307429039,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,26]],"date-time":"2010-09-26T00:00:00Z","timestamp":1285459200000},"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":[[2010,9,26]]},"DOI":"10.1145\/1863495.1863503","type":"proceedings-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T17:41:50Z","timestamp":1285695710000},"page":"49-60","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Generic multiset programming for language-integrated querying"],"prefix":"10.1145","author":[{"given":"Fritz","family":"Henglein","sequence":"first","affiliation":[{"name":"University of Copenhagen, Copenhagen, Denmark"}]},{"given":"Ken Friis","family":"Larsen","sequence":"additional","affiliation":[{"name":"University of Copenhagen, Copenhagen, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2010,9,26]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Available as example database from MySQL.com","author":"SQL.","year":"2010","unstructured":"}}World database from My SQL. Available as example database from MySQL.com , 2010 . URL http:\/\/downloads.mysql.com\/docs\/world.sql.zip. The sample data used in the world database is Copyright Statistics Finland , http:\/\/www.stat.fi\/worldinfigures. }}World database from MySQL. Available as example database from MySQL.com, 2010. URL http:\/\/downloads.mysql.com\/docs\/world.sql.zip. The sample data used in the world database is Copyright Statistics Finland, http:\/\/www.stat.fi\/worldinfigures."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/62070.45066"},{"key":"e_1_3_2_2_3_1","volume-title":"STOP Summer School on Constructive Algorithmics","author":"Backhouse R.","year":"1989","unstructured":"}} R. Backhouse . An exploration of the Bird-Meertens formalism . In STOP Summer School on Constructive Algorithmics , 1989 . }}R. Backhouse. An exploration of the Bird-Meertens formalism. In STOP Summer School on Constructive Algorithmics, 1989."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/6424.315691"},{"key":"e_1_3_2_2_5_1","first-page":"9","volume-title":"DBPL3: Proceedings of the third international workshop on Database programming languages : bulk types & persistent data","author":"Breazu-Tannen V.","year":"1992","unstructured":"}} V. Breazu-Tannen , P. Buneman , and S. Naqvi . Structural recursion as a query language . In DBPL3: Proceedings of the third international workshop on Database programming languages : bulk types & persistent data , pages 9 -- 19 , San Francisco, CA , USA, 1992 . Morgan Kaufmann Publishers Inc . ISBN 1-55860-242-9. }}V. Breazu-Tannen, P. Buneman, and S. Naqvi. Structural recursion as a query language. In DBPL3: Proceedings of the third international workshop on Database programming languages : bulk types & persistent data, pages 9--19, San Francisco, CA, USA, 1992. Morgan Kaufmann Publishers Inc. ISBN 1-55860-242-9."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/800223.806779"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/319702.319711"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/210562.210501"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/275487.275492"},{"key":"e_1_3_2_2_10_1","first-page":"266","volume-title":"Proceedings of the 5th international conference on Formal methods for components and objects","author":"Cooper E.","year":"2006","unstructured":"}} E. Cooper , S. Lindley , P. Wadler , and J. Yallop . Links: Web programming without tiers . In Proceedings of the 5th international conference on Formal methods for components and objects , pages 266 -- 296 . Springer-Verlag , 2006 . }}E. Cooper, S. Lindley, P. Wadler, and J. Yallop. Links: Web programming without tiers. In Proceedings of the 5th international conference on Formal methods for components and objects, pages 266--296. Springer-Verlag, 2006."},{"key":"e_1_3_2_2_11_1","first-page":"137","volume-title":"OSDI","author":"Dean J.","year":"2004","unstructured":"}} J. Dean and S. Ghemawat . MapReduce: Simplified data processing on large clusters . In OSDI , pages 137 -- 150 , 2004 . }}J. Dean and S. Ghemawat. MapReduce: Simplified data processing on large clusters. In OSDI, pages 137--150, 2004."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1561\/1900000001"},{"key":"e_1_3_2_2_13_1","unstructured":"}}T. GHC Team. The Glasgow Haskell Compiler. URL http:\/\/www.haskell.org\/ghc\/.  }}T. GHC Team. The Glasgow Haskell Compiler. URL http:\/\/www.haskell.org\/ghc\/."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/265779.265831"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/152610.152611"},{"key":"e_1_3_2_2_16_1","first-page":"263","volume-title":"Proceedings of the Thirtieth international conference on Very large data bases-Volume 30","author":"Grust T.","unstructured":"}} T. Grust , S. Sakr , and J. Teubner . XQuery on SQL hosts . In Proceedings of the Thirtieth international conference on Very large data bases-Volume 30 , page 263 . VLDB Endowment, 2004. }}T. Grust, S. Sakr, and J. Teubner. XQuery on SQL hosts. In Proceedings of the Thirtieth international conference on Very large data bases-Volume 30, page 263. VLDB Endowment, 2004."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1559845.1559982"},{"key":"e_1_3_2_2_18_1","volume-title":"Two LINQs with one stone. Submitted to EBDT","author":"Grust T.","year":"2010","unstructured":"}} T. Grust , J. Rittinger , and T. Schreiber . Two LINQs with one stone. Submitted to EBDT 2010 , October 2009. }}T. Grust, J. Rittinger, and T. Schreiber. Two LINQs with one stone. Submitted to EBDT 2010, October 2009."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411220"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706356.1706372"},{"key":"e_1_3_2_2_22_1","volume-title":"Available from http:\/\/sqlite.org","author":"Hipp D. R.","year":"2010","unstructured":"}} D. R. Hipp . SQLite. Available from http:\/\/sqlite.org , 2010 . }}D. R. Hipp. SQLite. Available from http:\/\/sqlite.org, 2010."},{"key":"e_1_3_2_2_23_1","volume-title":"May","author":"Hudak P.","year":"1999","unstructured":"}} P. Hudak and J. H. Fasel . A gentle introduction to Haskell Version 98. Online tutorial , May 1999 . URL http:\/\/www.haskell.org\/tutorial. }}P. Hudak and J. H. Fasel. A gentle introduction to Haskell Version 98. Online tutorial, May 1999. URL http:\/\/www.haskell.org\/tutorial."},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/331960.331977"},{"key":"e_1_3_2_2_25_1","volume-title":"Links: Linking theory to practice for the web","author":"Lindley S.","year":"2009","unstructured":"}} S. Lindley , P. Wadler , J. Yallop , and E. Cooper . Links: Linking theory to practice for the web , 2009 . URL http:\/\/groups.inf.ed.ac.uk\/links\/. }}S. Lindley, P. Wadler, J. Yallop, and E. Cooper. Links: Linking theory to practice for the web, 2009. URL http:\/\/groups.inf.ed.ac.uk\/links\/."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142552"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/101620.101626"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/62678.62700"},{"key":"e_1_3_2_2_29_1","volume-title":"Criterion package. Available from http:\/\/hackage.haskell.org\/package\/criterion","author":"O'Sullivan B.","year":"2010","unstructured":"}} B. O'Sullivan . Criterion package. Available from http:\/\/hackage.haskell.org\/package\/criterion , 2010 . }}B. O'Sullivan. Criterion package. Available from http:\/\/hackage.haskell.org\/package\/criterion, 2010."},{"key":"e_1_3_2_2_30_1","volume-title":"January","author":"Peyton Jones S.","year":"2003","unstructured":"}} S. Peyton Jones . The Haskell 98 language. J. Functional Programming (JFP), 13 (1): 0--146 , January 2003 . }}S. Peyton Jones. The Haskell 98 language. J. Functional Programming (JFP), 13 (1): 0--146, January 2003."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291209"},{"key":"e_1_3_2_2_32_1","volume-title":"Database Management Systems","author":"Ramakrishnan R.","year":"2003","unstructured":"}} R. Ramakrishnan and J. Gehrke . Database Management Systems . McGraw-Hill , 3d edition, 2003 . }}R. Ramakrishnan and J. Gehrke. Database Management Systems. McGraw-Hill, 3d edition, 2003."},{"key":"e_1_3_2_2_33_1","volume-title":"Burton Manor","author":"Skillicorn D.","year":"1990","unstructured":"}} D. Skillicorn . Architecture-independent parallel computation. presented at IFIP WG2.1 conference , Burton Manor , England , May 1990 . }}D. Skillicorn. Architecture-independent parallel computation. presented at IFIP WG2.1 conference, Burton Manor, England, May 1990."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596551"},{"key":"e_1_3_2_2_35_1","volume-title":"Proc. 31st VLDB Conf.","author":"Stonebraker M.","year":"2005","unstructured":"}} M. Stonebraker , D. J. Abadi , A. Batkin , X. Chen , M. Cherniack , M. Ferreira , E. Lau , A. Lin , S. Madden , E. O'Neil , P. O'Neil , A. Rasin , N. Tran , and S. Zdonik . C-Store: A column-oriented DBMS . In Proc. 31st VLDB Conf. , Trondheim, Norway , 2005 . }}M. Stonebraker, D. J. Abadi, A. Batkin, X. Chen, M. Cherniack, M. Ferreira, E. Lau, A. Lin, S. Madden, E. O'Neil, P. O'Neil, A. Rasin, N. Tran, and S. Zdonik. C-Store: A column-oriented DBMS. In Proc. 31st VLDB Conf., Trondheim, Norway, 2005."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/645500.655920"},{"key":"e_1_3_2_2_37_1","first-page":"115","volume-title":"Proceedings of the 1988 Glasgow Workshop on Functional Programming","author":"Trinder P.","year":"1988","unstructured":"}} P. Trinder and P. Wadler . List comprehensions and the relational calculus . In Proceedings of the 1988 Glasgow Workshop on Functional Programming , Rothesay, Scotland , pages 115 -- 123 , August 1988 . }}P. Trinder and P. Wadler. List comprehensions and the relational calculus. In Proceedings of the 1988 Glasgow Workshop on Functional Programming, Rothesay, Scotland, pages 115--123, August 1988."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/TENCON.1989.176921"},{"key":"e_1_3_2_2_39_1","volume-title":"Mathematical Structures in Computer Science (MSCS), 2: 461--493","author":"Wadler P.","year":"1992","unstructured":"}} P. Wadler . Comprehending monads. Mathematical Structures in Computer Science (MSCS), 2: 461--493 , 1992 . }}P. Wadler. Comprehending monads. Mathematical Structures in Computer Science (MSCS), 2: 461--493, 1992."},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1996.0012"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2002.1848"}],"event":{"name":"ICFP '10: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Baltimore Maryland USA","acronym":"ICFP '10"},"container-title":["Proceedings of the 6th ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863495.1863503","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1863495.1863503","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:52Z","timestamp":1750246792000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863495.1863503"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,26]]},"references-count":40,"alternative-id":["10.1145\/1863495.1863503","10.1145\/1863495"],"URL":"https:\/\/doi.org\/10.1145\/1863495.1863503","relation":{},"subject":[],"published":{"date-parts":[[2010,9,26]]},"assertion":[{"value":"2010-09-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}