{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:29:57Z","timestamp":1725467397840},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634553"},{"type":"electronic","value":"9783540695523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0026993","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:12:36Z","timestamp":1132380756000},"page":"261-280","source":"Crossref","is-referenced-by-count":6,"title":["A calculus for collections and aggregates"],"prefix":"10.1007","author":[{"given":"Kazem","family":"Lellahi","sequence":"first","affiliation":[]},{"given":"Val","family":"Tannen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"16_CR1","series-title":"Technical Report CS 8810","volume-title":"An exploration of the Bird-Meertens formalism","author":"R. C. Backhouse","year":"1988","unstructured":"R. C. Backhouse. An exploration of the Bird-Meertens formalism. Technical Report CS 8810, Groningen University, The Netherlands, 1988."},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Val Breazu-Tannen, Peter Buneman, and Limsoon Wong. Naturally embedded query languages. In J. Biskup and R. Hull, editors, LNCS 646: Proceedings of 4th International Conference on Database Theory, Berlin, Germany, October, 1992, pages 140\u2013154. Springer-Verlag, October 1992.","DOI":"10.1007\/3-540-56039-4_38"},{"issue":"1","key":"16_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(95)00024-Q","volume":"149","author":"P. Buneman","year":"1995","unstructured":"Peter Buneman, Shamim Naqvi, Val Tannen, and Limsoon Wong. Principles of programming with complex objects and collection types. Theoretical Computer Science, 149(1):3\u201348, September 1995.","journal-title":"Theoretical Computer Science"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"F. Borceux. Handbook of categorical algebra, Vol.2. Cambridge University Press, 1994.","DOI":"10.1017\/CBO9780511525865"},{"key":"16_CR5","doi-asserted-by":"crossref","unstructured":"V. Breazu-Tannen and R. Subrahmanyam. Logical and computational aspects of programming with Sets\/Bags\/Lists. In LNCS 510: Proceedings of 18th International Colloquium on Automata, Languages, and Programming, Madrid, Spain, July 1991, pages 60\u201375. Springer Verlag, 1991.","DOI":"10.1007\/3-540-54233-7_125"},{"key":"16_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-0021-0","volume-title":"Toposes, Triples, and Theories","author":"M. Barr","year":"1985","unstructured":"Michael Barr and Charles Wells. Toposes, Triples, and Theories. Springer-Verlag, New York, 1985."},{"volume-title":"The Object Database Standard: ODMG-93","year":"1996","key":"16_CR7","unstructured":"R. G. G. Cattell, editor. The Object Database Standard: ODMG-93. Morgan Kaufmann, San Mateo, California, 1996."},{"key":"16_CR8","volume-title":"LNCS 1103: Rewriting Techniques and Applications, New Brunswick, NJ, July 1996","author":"R. Cosmo Di","year":"1996","unstructured":"R. Di Cosmo. On the power of simple diagrams. In LNCS 1103: Rewriting Techniques and Applications, New Brunswick, NJ, July 1996, Berlin, July 1996. Springer-Verlag."},{"key":"16_CR9","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1215\/ijm\/1256068141","volume":"9","author":"S. Eilenberg","year":"1965","unstructured":"S. Eilenberg and J. C. Moore. Adjoint functors and triples. Illinois Journal of Mathematics, 9:381\u2013398, 1965.","journal-title":"Illinois Journal of Mathematics"},{"key":"16_CR10","unstructured":"A. Filinski. Controlling effects. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, May 1996. Available as CMU Technical Report CMU-CS-96-119."},{"key":"16_CR11","doi-asserted-by":"crossref","unstructured":"Leonidas Fegaras and David Maier. Towards an effective calculus for object query languages. In Proceedings of ACM SIGMOD International Conference on Management of Data, pages 47\u201358, San Jose, California, May 1995.","DOI":"10.1145\/223784.223789"},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"A. Gill, J. Launchbury, and S. Peyton Jones. A short cut to deforestation. In Proceedings of Conference on Functional Programming Languages and Computer Architecture, pages 223\u2013232, 1993.","DOI":"10.1145\/165180.165214"},{"key":"16_CR13","series-title":"Technical report","volume-title":"Relational programming laws in the Boom hierarchy of types","author":"P. Hoogendijk","year":"1994","unstructured":"P. Hoogendijk. Relational programming laws in the Boom hierarchy of types. Technical report, Eindhoven University of Technology, The Netherlands, 1994."},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"544","DOI":"10.2307\/2034693","volume":"16","author":"H. Kleisli","year":"1965","unstructured":"H. Kleisli. Every standard construction is induced by a pair of adjoint functors. Proceedings of the American Mathematical Society, 16:544\u2013546, 1965.","journal-title":"Proceedings of the American Mathematical Society"},{"key":"16_CR15","unstructured":"K. Lellahi. Towards a characterization of bulk types. Technical Report 94-01, Universit\u00e9 Paris 13, LIPN, 1994."},{"key":"16_CR16","unstructured":"K. Lellahi. Type de collection et monades. In Actes des Journ\u00e9es Cate\u00e9gories, Alg\u00e8bres, Esquisses et neo-esquisses, Caen, 1994."},{"key":"16_CR17","volume-title":"Introduction to Higher Order Categorical Logic, volume 7 of Cambridge Studies in Advanced Mathematics","author":"J. Lambek","year":"1986","unstructured":"J. Lambek and P. J. Scott. Introduction to Higher Order Categorical Logic, volume 7 of Cambridge Studies in Advanced Mathematics. Cambridge University Press, London, 1986."},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"J. Launchbury and T. Sheard. Warm fusion: deriving build-catas from recursive definitions. In Proceedings of Conference on Functional Programming Languages and Computer Architecture, pages 314\u2013323, 1995.","DOI":"10.1145\/224164.224223"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Leonid Libkin and Limsoon Wong. Aggregate functions, conservative extension, and linear orders. In Catriel Beeri, Atsushi Ohori, and Dennis E. Shasha, editors, Proceedings of DBPL-4; New York, August 1993, pages 282\u2013294. Springer-Verlag, January 1994.","DOI":"10.1007\/978-1-4471-3564-7_16"},{"key":"16_CR20","doi-asserted-by":"crossref","unstructured":"Leonid Libkin and Limsoon Wong. Some properties of query languages for bags. In Catriel Beeri, Atsushi Ohori, and Dennis E. Shasha, editors, Proceedings of DBPL-4, New York, August 1993, pages 97\u2013114. Springer-Verlag, January 1994.","DOI":"10.1007\/978-1-4471-3564-7_7"},{"key":"16_CR21","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"S. MacLane. Categories for the Working Mathematician. Springer-Verlag, Berlin, 1971."},{"key":"16_CR22","volume-title":"Algebraic Theories, volume 26 of Graduate Texts in Mathematics","author":"E. G. Manes","year":"1976","unstructured":"Ernest G. Manes.Algebraic Theories, volume 26 of Graduate Texts in Mathematics. Springer-Verlag, Berlin, 1976."},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Erik Meijer, Maartens Fokkinga, and Ross Paterson. Functional programming with bananas, lenses, envelopes, and barbed wires. In J. Hughes, editor, LNCS 523. 5th ACM Conference on Functional Languages and Computer Architecture, pages 124\u2013144. Springer-Verlag, August 1991.","DOI":"10.1007\/3540543961_7"},{"key":"16_CR24","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Eugenio Moggi. Notions of computation and monads. Information and Computation, 93:55\u201392, 1991.","journal-title":"Information and Computation"},{"key":"16_CR25","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0304-3975(92)90176-G","volume":"99","author":"P. Mulry","year":"1992","unstructured":"P. Mulry. Monads and algebras in the semantics of partial data types. Theoretical Computer Science, 99:141\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"key":"16_CR26","unstructured":"P. Mulry, May 1997. Private communication."},{"key":"16_CR27","doi-asserted-by":"crossref","unstructured":"Dan Suciu and Val Breazu-Tannen. A query language for NC. In Proceedings of 13th ACM Symposium on Principles of Database Systems, pages 167\u2013178, Minneapolis, Minnesota, May 1994. See also UPenn Technical Report MS-CIS-94-05.","DOI":"10.1145\/182591.182610"},{"key":"16_CR28","unstructured":"P. W. Trinder. Comprehensions, a query notation for DBPLs. In Proceedings of 3rd International Workshop on Database Programming Languages, Nahplion, Greece, pages 49\u201362. Morgan Kaufmann, August 1991."},{"key":"16_CR29","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1017\/S0960129500001560","volume":"2","author":"P. Wadler","year":"1992","unstructured":"Philip Wadler. Comprehending monads. Mathematical Structures in Computer Science, 2:461\u2013493, 1992.","journal-title":"Mathematical Structures in Computer Science"},{"key":"16_CR30","doi-asserted-by":"crossref","unstructured":"Limsoon Wong. Normal forms and conservative properties for query languages over collection types. In Proceedings of 12th ACM Symposium on Principles of Database Systems, pages 26\u201336, Washington, D. C., May 1993. See also UPenn Technical Report MS-CIS-92-59.","DOI":"10.1145\/153850.153853"},{"key":"16_CR31","unstructured":"Limsoon Wong. Querying Nested Collections. PhD thesis, Department of Computer and Information Science, University of Pennsylvania, Philadelphia, PA 19104, August 1994. Available as University of Pennsylvania IRCS Report 94-09."},{"key":"16_CR32","series-title":"Fide Technical Report","volume-title":"Towards a theory of bulk types","author":"D. A. Watt","year":"1991","unstructured":"David A. Watt and Phil Trinder. Towards a theory of bulk types. Fide Technical Report 91126, Glasgow University, Glasgow G12 8QQ, Scotland, July 1991."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026993","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,5]],"date-time":"2023-05-05T10:09:54Z","timestamp":1683281394000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026993"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634553","9783540695523"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/bfb0026993","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}