{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:41Z","timestamp":1725663461008},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190745"},{"type":"electronic","value":"9783540390954"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19074-0_44","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:01:04Z","timestamp":1330200064000},"page":"1-15","source":"Crossref","is-referenced-by-count":18,"title":["Types for data-oriented languages"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"issue":"2","key":"1_CR1","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1145\/3857.3859","volume":"10","author":"A. Albano","year":"1985","unstructured":"A. Albano, L. Cardelli, R. Orsini: Galileo: a strongly typed, interactive conceptual language, Transactions on Database Systems, June 1985, 10(2), pp. 230\u2013260.","journal-title":"Transactions on Database Systems"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"M.P.Atkinson, P.J.Bailey, K.J.Chisholm, W.P.Cockshott, R.Morrison: An approach to persistent programming, Computer Journal 26(4), November 1983.","DOI":"10.1093\/comjnl\/26.4.360"},{"key":"1_CR3","unstructured":"P.Buneman, A.Ohori: Using powerdomains to generalize relational databases, submitted for publication."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"L.Cardelli: A semantics of multiple inheritance, in Semantics of Data Types, G.Kahn, D.B.MacQueen and G.Plotkin Ed. Lecture Notes in Computer Science n.173, Springer-Verlag 1984.","DOI":"10.1007\/3-540-13346-1_2"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"L.Cardelli: Structural subtyping and the notion of power type, Proc. POPL 1988.","DOI":"10.1145\/73560.73566"},{"issue":"4","key":"1_CR6","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli, P. Wegner: On understanding types, data abstraction and polymorphism, Computing Surveys, Vol 17 n. 4, pp 471\u2013522, December 1985.","journal-title":"Computing Surveys"},{"key":"1_CR7","unstructured":"N.McCracken: An investigation of a programming language with a polymorphic type structure, Ph.D. Thesis, Syracuse University, June 1979."},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"J.C.Mitchell, G.D.Plotkin: Abstract types have existential type, Proc. POPL 1985.","DOI":"10.1145\/318593.318606"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"J.Mylopoulos, P.A.Bernstein, H.K.T.Wong: A language facility for designing database intensive applications, ACM Transactions on Database Systems 5(2), June 1980.","DOI":"10.1145\/320141.320150"},{"key":"1_CR10","unstructured":"A. Ohori: Orderings and types in databases, Proc. of the Workshop on Database Programming Languages, Roscoff, France, September 1987."},{"key":"1_CR11","unstructured":"Persistent Programming Research Group: The PS-algol reference manual \u2014 second edition, Technical Report PPR-12-85, University of Glasgow, Dept. of Computing Science, Glasgow G12 8QQ, Scotland, 1985."},{"key":"1_CR12","volume-title":"Computer Corporation of America","author":"J. M. Smith","year":"1983","unstructured":"J.M. Smith, S. Fox, T. Landers: Adaplex: rationale and reference manual, second edition, Computer Corporation of America, Four Cambridge Center, Cambridge, Mass. 02142, 1983.","edition":"second edition"},{"issue":"3","key":"1_CR13","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 Transaction on Database Systems 2(3), pp. 247\u2013281, September 1977.","journal-title":"ACM Transaction on Database Systems"}],"container-title":["Lecture Notes in Computer Science","Advances in Database Technology\u2014EDBT '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19074-0_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:19:40Z","timestamp":1619558380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19074-0_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190745","9783540390954"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-19074-0_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}