{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:23:08Z","timestamp":1742941388893,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242755"},{"type":"electronic","value":"9783642242762"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24276-2_1","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T14:49:23Z","timestamp":1318258163000},"page":"1-18","source":"Crossref","is-referenced-by-count":5,"title":["Haskell Boards the Ferry"],"prefix":"10.1007","author":[{"given":"George","family":"Giorgidze","sequence":"first","affiliation":[]},{"given":"Torsten","family":"Grust","sequence":"additional","affiliation":[]},{"given":"Tom","family":"Schreiber","sequence":"additional","affiliation":[]},{"given":"Jeroen","family":"Weijers","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Criterion, http:\/\/hackage.haskell.org\/package\/criterion"},{"key":"1_CR2","unstructured":"Database Supported Haskell, http:\/\/hackage.haskell.org\/package\/DSH"},{"key":"1_CR3","unstructured":"The Glasgow Haskell Compiler, http:\/\/www.haskell.org\/ghc\/"},{"key":"1_CR4","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0743-7315(90)90087-6","volume":"8","author":"G.E. Blelloch","year":"1990","unstructured":"Blelloch, G.E., Sabot, G.W.: Compiling Collection-Oriented Languages onto Massively Parallel Computers. Journal of Parallel and Distributed Computing\u00a08, 119\u2013134 (1990)","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s007780050076","volume":"8","author":"P.A. Boncz","year":"1999","unstructured":"Boncz, P.A., Kersten, M.L.: MIL primitives for querying a fragmented world. The VLDB Journal\u00a08, 101\u2013119 (1999)","journal-title":"The VLDB Journal"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1145\/351240.351249","volume-title":"Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP)","author":"M.M.T. Chakravarty","year":"2000","unstructured":"Chakravarty, M.M.T., Keller, G.: More Types for Nested Data Parallel Programming. In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP), Montreal, Canada, pp. 94\u2013105. ACM, New York (2000)"},{"key":"1_CR7","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/1248648.1248652","volume-title":"Proceedings of the 2007 Workshop on Declarative Aspects of Multicore Programming (DAMP)","author":"M.M.T. Chakravarty","year":"2007","unstructured":"Chakravarty, M.M.T., Leshchinskiy, R., Jones, S.P., Keller, G., Marlow, S.: Data Parallel Haskell: a status report. In: Proceedings of the 2007 Workshop on Declarative Aspects of Multicore Programming (DAMP), Nice, France, pp. 10\u201318. ACM, New York (2007)"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-74792-5_12","volume-title":"Formal Methods for Components and Objects","author":"E. Cooper","year":"2007","unstructured":"Cooper, E., Lindley, S., Wadler, P., Yallop, J.: Links: Web programming without tiers. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol.\u00a04709, pp. 266\u2013296. Springer, Heidelberg (2007)"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-642-20775-4_3","volume-title":"Functional and Constraint Logic Programming","author":"G. Giorgidze","year":"2011","unstructured":"Giorgidze, G., Nilsson, H.: Mixed-level Embedding and JIT Compilation for an Iteratively Staged DSL. In: Mari\u00f1o, J. (ed.) WFLP 2010. LNCS, vol.\u00a06559, pp. 48\u201365. Springer, Heidelberg (2011)"},{"key":"1_CR10","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/1739041.1739062","volume-title":"Proceedings of the 13th International Conference on Extending Database Technology (EDBT)","author":"T. Grust","year":"2010","unstructured":"Grust, T., Mayr, M., Rittinger, J.: Let SQL Drive the XQuery Workhorse (XQuery Join Graph Isolation). In: Proceedings of the 13th International Conference on Extending Database Technology (EDBT), Lausanne, Switzerland, pp. 147\u2013158. ACM, New York (2010)"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"1162","DOI":"10.1145\/1247480.1247642","volume-title":"Proceedings of the 2007 ACM SIGMOD International Conference on Management of Data (SIGMOD)","author":"T. Grust","year":"2007","unstructured":"Grust, T., Mayr, M., Rittinger, J., Sakr, S., Teubner, J.: A SQL: 1999 Code Generator for the Pathfinder XQuery Compiler. In: Proceedings of the 2007 ACM SIGMOD International Conference on Management of Data (SIGMOD), Beijing, China, pp. 1162\u20131164. ACM, New York (2007)"},{"key":"1_CR12","doi-asserted-by":"publisher","first-page":"1063","DOI":"10.1145\/1559845.1559982","volume-title":"Proceedings of the 35th SIGMOD International Conference on Management of Data (SIGMOD)","author":"T. Grust","year":"2009","unstructured":"Grust, T., Mayr, M., Rittinger, J., Schreiber, T.: FERRY: Database-Supported Program Execution. In: Proceedings of the 35th SIGMOD International Conference on Management of Data (SIGMOD), Providence, RI, USA, pp. 1063\u20131066. ACM, New York (2009)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Grust, T., Rittinger, J., Schreiber, T.: Avalanche-Safe LINQ Compilation. In: Proceedings of the 36th International Conference on Very Large Databases (VLDB), Singapore, pp. 162\u2013172. VLDB Endowment (September 2010)","DOI":"10.14778\/1920841.1920866"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Hudak, P.: Modular Domain Specific Languages and Tools. In: Proceedings of Fifth International Conference on Software Reuse (ICSR), pp. 134\u2013142 (June 1998)","DOI":"10.1109\/ICSR.1998.685738"},{"key":"1_CR15","unstructured":"Jones, S.P., Leshchinskiy, R., Keller, G., Chakravarty, M.M.T.: Harnessing the Multicores: Nested Data Parallelism in Haskell. In: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Bangalore, India, vol.\u00a02, pp. 383\u2013414 (2008) Schloss Dagstuhl\u2013Leibniz-Zentrum fuer Informatik"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/1291201.1291209","volume-title":"Proceedings of the ACM SIGPLAN Workshop on Haskell","author":"S.P. Jones","year":"2007","unstructured":"Jones, S.P., Wadler, P.: Comprehensive Comprehensions. In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Freiburg, Germany, pp. 61\u201372. ACM, New York (2007)"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1145\/331960.331977","volume-title":"Proceedings of the 2nd Conference on Domain-Specific Languages (DSL)","author":"D. Leijen","year":"1999","unstructured":"Leijen, D., Meijer, E.: Domain Specific Embedded Compilers. In: Proceedings of the 2nd Conference on Domain-Specific Languages (DSL), Austin, Texas, United States, pp. 109\u2013122. ACM, New York (1999)"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1017\/S0956796899003585","volume":"10","author":"W. Limsoon","year":"2000","unstructured":"Limsoon, W.: Kleisli, a functional query system. Journal of Functional Programming\u00a010, 19\u201356 (2000)","journal-title":"Journal of Functional Programming"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/1291201.1291211","volume-title":"Proceedings of the ACM SIGPLAN Workshop on Haskell","author":"G. Mainland","year":"2007","unstructured":"Mainland, G.: Why It\u2019s Nice to be Quoted: Quasiquoting for Haskell. In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Freiburg, Germany, pp. 73\u201382. ACM, New York (2007)"},{"key":"1_CR20","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/1863523.1863533","volume-title":"Proceedings of the Third ACM Haskell Symposium on Haskell","author":"G. Mainland","year":"2010","unstructured":"Mainland, G., Morrisett, G.: Nikola: Embedding Compiled GPU Functions in Haskell. In: Proceedings of the Third ACM Haskell Symposium on Haskell, Baltimore, Maryland, USA, pp. 67\u201378. ACM, New York (2010)"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"706","DOI":"10.1145\/1142473.1142552","volume-title":"Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data (SIGMOD)","author":"E. Meijer","year":"2006","unstructured":"Meijer, E., Beckman, B., Bierman, G.: LINQ: Reconciling Objects, Relations and XML in the NET Framework. In: Proceedings of the 2006 ACM SIGMOD International Conference on Management of Data (SIGMOD), Chicago, IL, USA, pp. 706\u2013706. ACM, New York (2006)"},{"key":"1_CR22","unstructured":"Peterson, J., Hammond, K.: Haskell 1.4: A Non-strict, Purely Functional Language. Technical Report YALEU\/DCS\/RR-1106, Department of Computer Science. Yale University (1997)"},{"volume-title":"Haskell 98 Language and Libraries \u2013 The Revised Report","year":"2003","key":"1_CR23","unstructured":"Jones, S.P. (ed.): Haskell 98 Language and Libraries \u2013 The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1145\/641909.641910","volume":"25","author":"M. Rhiger","year":"2003","unstructured":"Rhiger, M.: A Foundation for Embedded Languages. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a025, 291\u2013315 (2003)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"1_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/581690.581691","volume-title":"Proceedings of the ACM SIGPLAN Workshop on Haskell","author":"T. Sheard","year":"2002","unstructured":"Sheard, T., Jones, S.P.: Template Meta-programming for Haskell. In: Proceedings of the ACM SIGPLAN Workshop on Haskell, Pittsburgh, PA, USA, pp. 1\u201316. ACM, New York (October 2002)"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/1159876.1159884","volume-title":"Proceedings of the 2006 Workshop on ML","author":"D. Syme","year":"2006","unstructured":"Syme, D.: Leveraging.NET Meta-programming Components from F#: Integrated Queries and Interoperable Heterogeneous Execution. In: Proceedings of the 2006 Workshop on ML, Portland, Oregon, USA, pp. 43\u201354. ACM, New York (2006)"},{"key":"1_CR27","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/S0304-3975(99)00301-1","volume":"254","author":"J. Bussche Van den","year":"2001","unstructured":"Van den Bussche, J.: Simulation of the nested relational algebra by the flat relational algebra, with an application to the complexity of evaluating powerset algebra expressions. Theoretical Computer Science\u00a0254, 363\u2013377 (2001)","journal-title":"Theoretical Computer Science"},{"key":"1_CR28","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1145\/41625.41653","volume-title":"Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)","author":"P. Wadler","year":"1987","unstructured":"Wadler, P.: Views: A way for pattern matching to cohabit with data abstraction. In: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), Munich, West Germany, pp. 307\u2013313. ACM, New York (1987)"},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/91556.91592","volume-title":"Proceedings of the 1990 ACM Conference on LISP and Functional Programming (LFP)","author":"P. Wadler","year":"1990","unstructured":"Wadler, P.: Comprehending monads. In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming (LFP), Nice, France, pp. 61\u201378. ACM, New York (1990)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24276-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T17:21:16Z","timestamp":1741800076000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24276-2_1"}},"subtitle":["Database-Supported Program Execution for Haskell"],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242755","9783642242762"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24276-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}