{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T18:10:40Z","timestamp":1725732640758},"publisher-location":"London","reference-count":20,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540199465"},{"type":"electronic","value":"9781447135777"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/978-1-4471-3577-7_9","type":"book-chapter","created":{"date-parts":[[2013,6,20]],"date-time":"2013-06-20T14:16:38Z","timestamp":1371737798000},"page":"125-137","source":"Crossref","is-referenced-by-count":1,"title":["F-Bounded Polymorphism for Database Programming Languages"],"prefix":"10.1007","author":[{"given":"Suad","family":"Alagi\u0107","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3518-7","volume-title":"Object-oriented Database Programming","author":"S Alagic","year":"1989","unstructured":"S. Alagic, Object-Oriented Database Programming, Springer-Verlag, New York, 1989"},{"key":"9_CR2","first-page":"504","volume-title":"Next Generation of Information Systems Technology","author":"S Alagic","year":"1991","unstructured":"S. Alagic, Toward Multiparadigm Database Interfaces. In: J. W Schmidt and A. A. Stogny (eds), Next Generation of Information Systems Technology, Springer-Verlag, 1991, ( Lecture Notes in Computer Science Vol. 504 )"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"S. Alagic and R. Sunderraman: Expressibility of Typed Logic Paradigms for Object-Oriented Databases, Proceedings of BNCOD-12, pp. 73\u201389, Springer-Verlag, 1994 (Lecture Notes in Computer Science Vol. 826)","DOI":"10.1007\/3-540-58235-5_36"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"S. Alagic, R. Sunderraman and R. Bagai: Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping, Proceedings of ECOOP \u201884, pp. 236\u2013259, Springer-Verlag, 1994, (Lecture Notes in Computer Science Vol. 821)","DOI":"10.1007\/BFb0052186"},{"key":"9_CR5","first-page":"230","volume":"10","author":"A Albano","year":"1985","unstructured":"A. Albano, L. Cardelli and R. Orsini, Galileo: A Strongly Typed, Interactive Conceptual Language, ACM Transactions on Programming Languages and Systems Vol. 10, pp. 230\u2013260, 1985","journal-title":"Acm Transactions on Programming Languages and Systems"},{"key":"9_CR6","unstructured":"A. Albano, G. Ghelli and R. Orsini, Objects for a Database Programming Language, In: P. Kanelakis and J. Schmidt (eds): Proceedings of the Workshop on Database Programming Languages, pp. 236\u2013253, Morgan-Kaufmann Publishers, 1991"},{"key":"9_CR7","volume-title":"Acm","author":"KB Bruce","year":"1993","unstructured":"K. B. Bruce, Safe Type Checking on a Statically Typed Object-Oriented Programming Language, Proceedings of the ACM Conference on Principles of Programming Languages, pp. 285\u2013298, ACM, 1993"},{"key":"9_CR8","volume-title":"Acm","author":"K Bruce","year":"1992","unstructured":"K. Bruce and J. Mitchell, PER Models of Subtyping, Recursive Types and Higher-order Polymorphism, Proceedings of the ACM Conference on Principles of Programming Languages, pp. 316\u2013327, ACM, 1992"},{"key":"9_CR9","first-page":"303","volume-title":"Advances in Database Technology - Edbt 88, pp. 1-15, Springer-Verlag","author":"L Cardelli","year":"1988","unstructured":"L. Cardelli, Types for Data Oriented Languages, In: J.W. Schmidt, S. Ceri and M. Missikoff (eds), Advances in Database Technology - EDBT \u201888, pp. 1\u201315, Springer-Verlag, Berlin, 1988 ( Lecture Notes in Computer Science Vol. 303 )"},{"key":"9_CR10","volume-title":"Conference Record, Acm Symposium on Principles of Programming Languages, pp. 202-212, Acm","author":"L Cardelli","year":"1989","unstructured":"L. Cardelli, J. Donahue, M. Jordan, B. Kalslow and G. Nelson, The Modula-3 Type System, In: Conference Record, ACM Symposium on Principles of Programming Languages, pp. 202\u2013212, ACM, 1989"},{"key":"9_CR11","volume-title":"Proceedings of the Conference on Functional Programming Languages and Computer Architecture, pp. 273-280, Acm","author":"P Canning","year":"1989","unstructured":"P. Canning, W. Cook, W. Hill, W. Olthoff and J.C. Mitchell, F-Bounded Polymorphism for Object-Oriented Programming, In: Proceedings of the Conference on Functional Programming Languages and Computer Architecture, pp. 273\u2013280, ACM, 1989"},{"key":"9_CR12","volume-title":"Proceedings of the Acm Conference on Principles of Programming Languages, pp. 125-135, Acm","author":"WR Cook","year":"1990","unstructured":"W. R. Cook, W. L. Hill and P S Canning, Inheritance Is Not Subtyping, In: Proceedings of the ACM Conference on Principles of Programming Languages, pp. 125\u2013135, ACM, 1990"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1093\/comjnl\/32.4.305","volume":"32","author":"WR Cook","year":"1989","unstructured":"W. R. Cook, A Proposal for Making Eiffel Type Safe, The Computer Journal Vol. 32, pp. 305\u2013311, 1989","journal-title":"The Computer Journal"},{"key":"9_CR14","first-page":"1488","volume-title":"Category Theory: Proceedings of the International Conference (Como), pp. 95-104","author":"P Freyd","year":"1991","unstructured":"P. Freyd. Algebraically Complete Categories, In: A. Carboni, M.C. Pedicchio and G. Rosolini (Eds): Category Theory: Proceedings of the International Conference (Como), pp. 95\u2013104, Springer-Verlag, 1991, ( Lecture Notes in Mathematics Vol. 1488 )"},{"key":"9_CR15","volume-title":"Acm","author":"RH Guting","year":"1993","unstructured":"R. H. Guting, Second-Order Signature: A Tool for Specifying Data Models, Query Processing and Optimization, Proceedings of the ACM SIGMOD Conference, pp. 277\u2013286, ACM, 1993"},{"key":"9_CR16","volume-title":"Morgan-kaufmann Publishers","author":"C Lecluse","year":"1989","unstructured":"C. Lecluse and P. Richard, The 02 Database Programming Language, Proceedings of the 15th International VLDB Conference, pp. 411\u2013422, Morgan-Kaufmann Publishers, 1989"},{"key":"9_CR17","volume-title":"Springer-verlag","author":"EG Manes","year":"1986","unstructured":"E. G. Manes and M. A. Arbib, Algebraic Approaches to Program Semantics, Springer-Verlag, 1986."},{"key":"9_CR18","volume-title":"Eiffel","author":"B Meyer","year":"1992","unstructured":"B. Meyer, Eiffel: The Language, Prentice-Hall, 1992."},{"key":"9_CR19","volume-title":"Acm","author":"A Ohori","year":"1989","unstructured":"A. Ohori, P. Buneman and V. Breazu-Tannen, Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference, Proceedings of the ACM SIGMOD Conference, pp. 46\u201357, ACM, 1989."},{"key":"9_CR20","first-page":"416","volume-title":"Advances in Database Technology - Edbt 90, pp. 269-285","author":"D Stemple","year":"1990","unstructured":"D. Stemple, L. Fegaras, T. Sheard and A. Socorro, Exceeding the Limits of Polymorphism in Database Programming Languages, In: F. Bancilhon and C. Thanos (Eds), Advances in Database Technology - EDBT \u201880, pp. 269\u2013285, Springer-Verlag, 1990 ( Lecture Notes in Computer Science Vol. 416 )"}],"container-title":["Workshops in Computing","East\/West Database Workshop"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3577-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T09:24:20Z","timestamp":1557825860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3577-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540199465","9781447135777"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3577-7_9","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1995]]}}}