{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:50:38Z","timestamp":1725454238508},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601005"},{"type":"electronic","value":"9783540494270"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0000539","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T08:46:59Z","timestamp":1128502019000},"page":"24-46","source":"Crossref","is-referenced-by-count":0,"title":["Combining inheritance and parametric polymorphism in a functional database language"],"prefix":"10.1007","author":[{"given":"Simon","family":"Courtenage","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandra","family":"Poulovassilis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,9]]},"reference":[{"key":"3_CR1","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76:138\u2013164, 1988.","journal-title":"Information and Computation"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"G. Castagna. F\/\u2a7d&: integrating parametric and \u201cad hoc\u201d second order polymorphism. In Proc. 4th International Workshop on Database Programming Languages (DBPL-4), New York, pages 338\u2013358. Springer-Verlag, 1993.","DOI":"10.1007\/978-1-4471-3564-7_19"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"P. Canning, W. Cook, W. Hill, W. Olthoff, and J. C. Mitchell. F-bounded polymorphism for object-oriented programming. In Proc. 1989 ACM Conference on Functional Programming Languages and Computer Architecture, pages 273\u2013280, 1989.","DOI":"10.1145\/99370.99392"},{"issue":"4","key":"3_CR4","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17(4):471\u2013522, 1985.","journal-title":"ACM Computing Surveys"},{"key":"3_CR5","unstructured":"DOOD. Proceedings of the International Conferences on Deductive and Object-Oriented Databases. 1989 (Kyoto), 1991 (Munich), 1993 (Phoenix, Arizona)."},{"key":"3_CR6","unstructured":"A.J. Field and P.G. Harrison. Functional Programming. Addison Wesley, 1988."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Y.-C. Fuh and P. Mishra. Polymorphic subtype inference: Closing the theory-practice gap. In TAPSOFT'89 \u2014 Proc. International Joint Conference on Theory and Practice of Software Development, pages 167\u2013183, 1989. Springer-Verlag LNCS 352.","DOI":"10.1007\/3-540-50940-2_35"},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0304-3975(90)90144-7","volume":"70","author":"Y.-C. Fuh","year":"1990","unstructured":"Y.-C. Fuh and P. Mishra. Type inference with subtypes. Theoretical Computer Science, 70:155\u2013175, 1990.","journal-title":"Theoretical Computer Science"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"G. Ghelli. Modelling features of object-oriented languages in second order functional languages with subtypes. Technical Report FIDE\/90\/3, Dept. of Computing Science, Glasgow University, 1990.","DOI":"10.1007\/BFb0019448"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard. Une extension de l'interpretation de G\u00f6del \u00e0 l'analyse, et son application \u00e0 l'\u00e8limination des coupres dans l'analyse et la th\u00e8orie des types. In J. E. Fenstad, editor, 2nd. Scandanavian Logic Symposium, pages 63\u201392. North-Holland, 1971.","DOI":"10.1016\/S0049-237X(08)70843-7"},{"issue":"3","key":"3_CR11","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/45072.45073","volume":"19","author":"R. Hull","year":"1987","unstructured":"R. Hull and R. King. Semantic database modelling: Survey, applications, and research issues. ACM Computing Surveys, 19(3):201\u2013260, 1987.","journal-title":"ACM Computing Surveys"},{"key":"3_CR12","unstructured":"L.A. Jategaonkar and J.C. Mitchell. ML with extended pattern matching and subtypes (preliminary version). In Proc. 1988 ACM Conf. on LISP and Functional Programming, pages 198\u2013211, 1988."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"P. Lincoln and J. C. Mitchell. Algorithmic aspects of type inference with subtypes. In 19th ACM Symposium on Principles of Programming Languages, pages 293\u2013304, 1992.","DOI":"10.1145\/143165.143227"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"J. C. Mitchell. Coercion and type inference (summary). In Proc. 11th ACM Symposium on Principles of Programming Languages, pages 175\u2013185, 1984.","DOI":"10.1145\/800017.800529"},{"issue":"3","key":"3_CR15","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1017\/S0956796800000113","volume":"1","author":"J. C. Mitchell","year":"1991","unstructured":"J. C. Mitchell. Type inference with simple subtypes. Journal of Functional Programming, 1(3):245\u2013285, 1991.","journal-title":"Journal of Functional Programming"},{"key":"3_CR16","unstructured":"S. Peyton-Jones. The Implementation of Functional Programming Languages. Morgan Kaufmann, 1987."},{"issue":"2","key":"3_CR17","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1093\/comjnl\/35.2.119","volume":"35","author":"A. Poulovassilis","year":"1992","unstructured":"A. Poulovassilis. The implementation of FDL, a functional database language. The Computer Journal, 35(2):119\u2013128, 1992.","journal-title":"The Computer Journal"},{"key":"3_CR18","unstructured":"A. Poulovassilis and C. Small. A functional programming approach to deductive databases. In Proc. 17th International Conference on Very Large Data Bases, (VLDB 91), Barcelona, pages 491\u2013500, 1991."},{"key":"3_CR19","unstructured":"A. Poulovassilis and C. Small. Investigation of algebraic query optimisation for database programming languages. In Proc. 20th International Conference on Very Large Data Bases (VLDB 94) Santiago, Chile, pages 415\u2013426, 1994."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Paterson and Wegman. Linear unification. JCSS, pages 158\u2013167, 1978.","DOI":"10.1016\/0022-0000(78)90043-0"},{"issue":"1","key":"3_CR21","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson. A machine orientated logic based on the resolution principle. Journal of the ACM, 12(1):23\u201341, 1965.","journal-title":"Journal of the ACM"},{"key":"3_CR22","unstructured":"C. Small and A. Poulovassilis. An overview of PFL. In Proc. 3rd International Workshop on Database Programming Languages (DBPL-3), Nafplion, pages 96\u2013110, 1991."},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"D. Sutton and C. Small. Extending functional database languages to update completeness. In Proc. BNCOD-13 (these proceedings), Manchester, July 1995.","DOI":"10.1007\/BFb0000540"}],"container-title":["Lecture Notes in Computer Science","Advances in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000539","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T02:10:01Z","timestamp":1586484601000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000539"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601005","9783540494270"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0000539","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}