{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:59Z","timestamp":1725663419121},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541417"},{"type":"electronic","value":"9783540474449"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54141-1_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:30:41Z","timestamp":1330209041000},"page":"228-250","source":"Crossref","is-referenced-by-count":9,"title":["Bulk types for large scale programming"],"prefix":"10.1007","author":[{"given":"Malcolm","family":"Atkinson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Richard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Phil","family":"Trinder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"issue":"2","key":"13_CR1","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/62070.45066","volume":"19","author":"M.P. Atkinson","year":"1987","unstructured":"M.P. Atkinson and O.P. Buneman. Types and persistence in database programming languages. ACM Surveys, 19(2):105\u2013190, June 1987.","journal-title":"ACM Surveys"},{"issue":"2","key":"13_CR2","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1145\/3857.3859","volume":"10","author":"A. Albano","year":"1985","unstructured":"A. Albano, L. Cardelli, and R. Orsini. Galileo: A Strongly Typed, Interactive Conceptual Language. ACM TODS, 10(2):230\u2013260, 1985.","journal-title":"ACM TODS"},{"issue":"4","key":"13_CR3","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1145\/32204.32205","volume":"12","author":"S. Abiteboul","year":"1987","unstructured":"S. Abiteboul and R. Hull. IFO: A Formal Semantic Database Model. ACM TODS, 12(4):525\u2013565, December 1987.","journal-title":"ACM TODS"},{"key":"13_CR4","unstructured":"M.P. Atkinson, C L\u00e9cluse, and P. Richard. Maps as a Type-quark. Technical Report 2, FIDE project, U. of Glasgow, Dpt. of Computing Science, Glasgow G12 8QQ, Scotland, 1990."},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-642-61556-6_1","volume-title":"Data Types and Persistence","author":"M.P. Atkinson","year":"1988","unstructured":"M.P. Atkinson and R. Morrison. Types, bindings and parameters in a persistent environment. In M.P. Atkinson, O.P. Buneman, and R. Morrison, ed., Data Types and Persistence, pages 3\u201320, Springer-Verlag, Berlin, 1988."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"M.P. Atkinson and R. Morrison. Polymorphic names and iterations. In F. Bancilhon and O.P. Buneman, ed., Advances in Database Programming Languages, pages 241\u2013256, ACM Press, 1990.","DOI":"10.1145\/101620.101634"},{"key":"13_CR7","unstructured":"S. Berman. Persistent Sets and their implementation in P-Pascal. Technical Report CS-90-03-00, U. of Cape Town, 7700 Rondebosch, South Africa, December 1990."},{"issue":"2","key":"13_CR8","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1145\/319702.319711","volume":"7","author":"P. Buneman","year":"1981","unstructured":"P. Buneman, R.E. Frankel, and R. Nikhil. An Implementation Technique for Database Query Languages. ACM TODS, 7(2):164\u2013187, June 1981.","journal-title":"ACM TODS"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"M. Barr and C. Wells. Toposes, Triples and Theories. Springer-Verlag, 1985.","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"13_CR10","unstructured":"L. Cardelli. Amber. Technical Memorandum TM 11271-840924-10, AT&T Bell Laboratories, Murray Hill, New Jersey, U.S.A., 1984."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"L. Cardelli. Structural Subtyping and the Notion of Power Types. In Proc. of the Fifteenth ACM Symposium on Principles of Programming Languages (San Diego, CA, January 1988), 1988.","DOI":"10.1145\/73560.73566"},{"key":"13_CR12","unstructured":"L. Cardelli. Typeful Programming. Technical Report Digital Systems Research Center Report 45, Digital Eqipment Corp., Systems Research Centre, 140 Lytton Avenue, Palo Alto, Calif., USA, 1989."},{"key":"13_CR13","unstructured":"L. Cardelli, J.E. Donahue, M. Jordan, Kalsow. W., and G. Nelson. Modula-3 Report. Technical Report, Olivetti, Palo Alto Research Center, June 1988."},{"key":"13_CR14","unstructured":"D.K.C. Chan. Query Languages for OODBMs. First Year Report, Computing Science Dpt., Glasgow U., Glasgow G12 8QQ, Scotland, October 1989."},{"issue":"6","key":"13_CR15","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1145\/362384.362685","volume":"13","author":"E.F. Codd","year":"1970","unstructured":"E.F. Codd. A Relational Model of Data for Large Shared Data Banks. Communications of the ACM, 13(6):377\u2013387, June 1970.","journal-title":"Communications of the ACM"},{"issue":"1","key":"13_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF00264597","volume":"11","author":"J. Darlington","year":"1978","unstructured":"J. Darlington. A Synthesis of Several Sorting Programs. Acta Informatica, 11(1):1\u201330, January 1978.","journal-title":"Acta Informatica"},{"key":"13_CR17","unstructured":"C.J. Date. An Introduction to Database Systems. Addison-Wesley Publishing Company, fourth edition, 1985."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"O. O. Deux. The Story of O 2. IEE Trans. on Knowledge and Data Engineering, 2(1), March 1990.","DOI":"10.1109\/69.50908"},{"issue":"9","key":"13_CR19","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1145\/365813.365819","volume":"9","author":"O. Dahl","year":"1966","unstructured":"O. Dahl and K. Nygaard. Simula, an Algol-Based Simulation Language. Communications of the ACM, 9(9):671\u2013678, September 1966.","journal-title":"Communications of the ACM"},{"key":"13_CR20","doi-asserted-by":"crossref","unstructured":"J.G. Hughes and M. Connolly. A Portable Implementation of a Modular Multiprocessing Database Programming Language. Software Practice and Experience, 1987.","DOI":"10.1002\/spe.4380170806"},{"issue":"3","key":"13_CR21","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1145\/319587.319588","volume":"6","author":"M. Hammer","year":"1981","unstructured":"M. Hammer and D. McLeod. Database Description with SDM: A Semantic Database Model. ACM TODS, 6(3):351\u2013386, September 1981.","journal-title":"ACM TODS"},{"key":"13_CR22","unstructured":"R. Hull and J. Su. On Bulk Data Type Constructors and Manipulation Primitives: A Framework for Analyzing Expressive Power and Complexity. In R. Hull, R. Morrison, and D. Stemple, ed., Proc. of the Second International Workshop on DBPL, pages 396\u2013410, Morgan Kaufmann, San Mateo, California, 1989."},{"key":"13_CR23","unstructured":"P. Hudak and P.L. Wadler(Eds). Report on the Functional Programming Language Haskell. Technical Report, Dept. of Computing Science, U. of Glasgow, Glasgow, G12 8QQ, Scotland, April 1989."},{"key":"13_CR24","unstructured":"J. Koch, M. Mall, P. Putfarken, M. Reimer, J.W. Schmidt, and C.A. Zehnder. Modula\/R Report, Lilith Version. Technical Report, Institute f\u00fcr Informatik, Eidgenossische Technische Hochschule Zurich, 1983."},{"key":"13_CR25","unstructured":"J.L. Keedy and J. Rosenberg. Data Engineering with Sets and Sequences. In Proc. of the third Australian Software Engineering Conference, pages 79\u2013100, 1988."},{"key":"13_CR26","first-page":"219","volume-title":"Proc. of the Second International Workshop on DBPL (Oregon, June 1989)","author":"F. Matthes","year":"1989","unstructured":"F. Matthes and J.W. Schmidt. The Type system of DBPL. In R. Hull, R. Morrison, and D. Stemple, ed., Proc. of the Second International Workshop on DBPL (Oregon, June 1989), pages 219\u2013225, Morgan Kaufmann Publishers, San Mateo, Calif., USA, 1989."},{"key":"13_CR27","doi-asserted-by":"crossref","unstructured":"A. Ohori, O.P. Buneman, and V. Breazu-Tannen. Database Programming in Machiavelli \u2014 a Polymorphic Language with Static Type Inference. In Proc. of the ACM SIGMOD 1989 Conference on the Management of Data (Portland, Oregon, May-June), pages 424\u2013433, 1989.","DOI":"10.1145\/67544.66931"},{"key":"13_CR28","unstructured":"P. Philbrow. Indexing Strongly Typed Heterogeneous Collections using Reflection and Persistence. In Informal Proc. of the 1990 ECOOP\/OOPSLA Workshop on Reflection and Metalevel Architectures in Object-Oriented Programming (22nd October 1990, Ottawa, Canada), 1990."},{"key":"13_CR29","doi-asserted-by":"crossref","unstructured":"L. Rowe and K. Shoens. Data abstraction, views and updates in RIGEL. In Proc. of the ACM SIGMOD 1979 Conference on the Management of Data, pages 71\u201381, May 1979.","DOI":"10.1145\/582095.582107"},{"issue":"3","key":"13_CR30","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/320557.320568","volume":"2","author":"J.W. Schmidt","year":"1977","unstructured":"J.W. Schmidt. Some High Level Language Constructs for Data of Type Relation. ACM TODS, 2(3):247\u2013261, September 1977.","journal-title":"ACM TODS"},{"key":"13_CR31","unstructured":"J.W. Schmidt, H. Eckhardt, and F. Matthes. DBPL Report. Technical Report DBPL-memo 111-88, Fachbereich Informatik, Johann Wolfgang Goethe-Universit\u00e4t, Frankfurt, West Germany, 1988."},{"key":"13_CR32","unstructured":"J.M. Smith, S. Fox, and T. Landers. ADAPLEX: Rationale and Reference Manual. Four Cambridge Center, Cambridge, Massachusetts 02142, second edition, May 1983."},{"key":"13_CR33","unstructured":"T. Sheard. A user's guide to TRPL: a Compile-time Reflective Programming Language. Technical Report COINS Technical Report 90\u2013109, Dpt. of Computer and Information Science, U. of Massachusetts, Amherst, Ma 01002, USA, September 1990."},{"key":"13_CR34","unstructured":"T. Sheard. Automatic Generation and use of Abstract Structure Operators. Technical Report, Dept. of Mathematics and Computer Science, Amherst College, Amherst, Ma 01002, USA, September 1990. expected to appear in TOPLAS."},{"issue":"1","key":"13_CR35","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1145\/319540.319561","volume":"6","author":"D.W. Shipman","year":"1981","unstructured":"D.W. Shipman. The Functional Data Model and the Data Language DAPLEX. ACM TODS, 6(1):140\u2013173, March 1981.","journal-title":"ACM TODS"},{"key":"13_CR36","volume-title":"Proc. of the Workshop on Information Systems of the Nineties","author":"D. Stemple","year":"1990","unstructured":"D. Stemple. A Recursive Base for Database Programming Primitives. In J.W. Schmidt, editor, Proc. of the Workshop on Information Systems of the Nineties, Springer-Verlag, Berlin, Germany, 1990."},{"key":"13_CR37","unstructured":"I. Tabkha. Extending the Persistent Programming Language Napier88 with Bulk Library Types. First year Report, U. of Glasgow, Dpt. of Computing Science, Glasgow G12 8QQ, Scotland, September 1990."},{"key":"13_CR38","unstructured":"P.W. Trinder, D.K.C. Chan, and Harper D.J. Improving Comprehension Queries in PS-algol. In R.L. Cooper, A. Stewart, and P.W. Trinder, ed., Proc. of the 1990 Glasgow Database Workshop, pages 103\u2013120, Dpt. of Computing Science, U. of Glasgow, Glasgow G12 8QQ, Scotland, March 1990."},{"key":"13_CR39","unstructured":"P.W. Trinder. A Functional Database. PhD thesis, Oxford U., Oxford, England, December 1989. Also available from Dpt. of Computing Science, U. of Glasgow, Glasgow G12 8QQ, Scotland."},{"key":"13_CR40","unstructured":"P.W. Trinder. Comprehensions a Query Notation for DBPLs. In R.L. Cooper, A. Stewart, and P.W. Trinder, ed., Proc. of the 1990 Glasgow Database Workshop, Glasgow, Scotland, pages 95\u2013102, Glasgow G12 8QQ, Scotland, March 1990."},{"issue":"12","key":"13_CR41","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/15042.15053","volume":"21","author":"D. Turner","year":"1986","unstructured":"D. Turner. An Overview of Miranda. ACM SIGPLAN Notices, 21(12):158\u2013166, December 1986.","journal-title":"ACM SIGPLAN Notices"},{"key":"13_CR42","doi-asserted-by":"crossref","unstructured":"P.W. Trinder and P.L. Wadler. Improving List Comprehension Database Queries. In, editor, Proc. of TENCON '89, Bombay, India, pages 186\u2013192, November 1989.","DOI":"10.1109\/TENCON.1989.176921"},{"key":"13_CR43","unstructured":"P.W. Trinder and P.L. Wadler. List comprehensions and the relational calculus. In C.V. Hall, editor, Proc. of the Glasgow Workshop on Functional Programming, pages 187\u2013202, Dpt. of Computing Science, U. of Glasgow, Glasgow G12 8QQ, 1989."},{"key":"13_CR44","unstructured":"J.D. Ullman. Principles of Database Systems. Pittman, second edition, 1982."},{"key":"13_CR45","first-page":"127","volume-title":"The Implementation of Functional Programming Languages","author":"P.L. Wadler","year":"1987","unstructured":"P.L. Wadler. List Comprehensions. In S.L. Peyton-Jones, editor, The Implementation of Functional Programming Languages, pages 127\u2013128, Prentice Hall International, Hemel Hemstead, UK, 1987."},{"key":"13_CR46","doi-asserted-by":"crossref","unstructured":"P.L. Wadler. Comprehending monads. In Proc. of the ACM Conference on Lisp and Functional Programming, pages 61\u201378, Nice, France, June 1990.","DOI":"10.1145\/91556.91592"},{"issue":"7","key":"13_CR47","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1002\/spe.4380180706","volume":"18","author":"N. Wirth","year":"1988","unstructured":"N. Wirth. From Modula to Oberon. Software Practice and Experience, 18(7):661\u2013670, 1988.","journal-title":"Software Practice and Experience"}],"container-title":["Lecture Notes in Computer Science","Next Generation Information System Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54141-1_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:19:54Z","timestamp":1619572794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54141-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541417","9783540474449"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/3-540-54141-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}