{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T20:35:45Z","timestamp":1761510945848},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540279921"},{"type":"electronic","value":"9783540317258"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11531142_13","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T17:28:49Z","timestamp":1292866129000},"page":"287-311","source":"Crossref","is-referenced-by-count":56,"title":["The Essence of Data Access in C\u03c9"],"prefix":"10.1007","author":[{"given":"Gavin","family":"Bierman","sequence":"first","affiliation":[]},{"given":"Erik","family":"Meijer","sequence":"additional","affiliation":[]},{"given":"Wolfram","family":"Schulte","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Albano, A., Ghelli, G., Orsini, R.: Types for databases: the Galileo experience. In: Proceedings of DBPL (1989)"},{"issue":"3","key":"13_CR2","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/BF01231643","volume":"4","author":"A. Albano","year":"1995","unstructured":"Albano, A., Ghelli, G., Orsini, R.: Fibonacci: A programming language for object databases. Journal of Very Large Data Bases\u00a04(3), 403\u2013444 (1995)","journal-title":"Journal of Very Large Data Bases"},{"issue":"5","key":"13_CR3","doi-asserted-by":"publisher","first-page":"769","DOI":"10.1145\/1018203.1018205","volume":"26","author":"N. Benton","year":"2004","unstructured":"Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C#. TOPLAS\u00a026(5), 769\u2013804 (2004)","journal-title":"TOPLAS"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: CDuce: An XML-centric general-purpose language. In: Proceedings of ICFP (2003)","DOI":"10.1145\/944705.944711"},{"key":"13_CR5","unstructured":"Bierman, G.M., Parkinson, M.J., Pitts, A.M.: MJ: An imperative core calculus for Java and Java with effects. Technical Report 563, University of Cambridge (2003)"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Bracha, G., Odersky, M., Stoutamire, D., Wadler, P.: Making the future safe for the past: Adding genericity to Java. In: Proceedings of OOPSLA (1998)","DOI":"10.1145\/286936.286957"},{"issue":"1","key":"13_CR7","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/0890-5401(91)90055-7","volume":"93","author":"V. Breazu-Tannen","year":"1991","unstructured":"Breazu-Tannen, V., Coquand, T., Gunter, C.A., Scedrov, A.: Inheritance as implicit coercion. Information and computation\u00a093(1), 172\u2013221 (1991)","journal-title":"Information and computation"},{"key":"13_CR8","unstructured":"Buneman, P., Pierce, B.C.: Union types for semistructured data. In: Proceedings of IDPL (1998)"},{"key":"13_CR9","unstructured":"Chamberlin, D., et al.: XQuery use cases, http:\/\/www.w3.org\/TR\/xquery-use-cases\/"},{"key":"13_CR10","unstructured":"Boag, S., et al.: XQuery, http:\/\/www.w3.org\/TR\/xquery"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: Proceedings of POPL (1998)","DOI":"10.1145\/268946.268961"},{"key":"13_CR12","unstructured":"Fourn\u00e9t, C., Gonthier, G.: The reflexive chemical abstract machine and the join-calculus. In: Proceedings of POPL (1996)"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_8","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"V. Gapeyev","year":"2003","unstructured":"Gapeyev, V., Pierce, B.C.: Regular object types. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743. Springer, Heidelberg (2003)"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Harren, M., Raghavachari, M., Shmueli, O., Burke, M., Sarkar, V., Bordawekar, R.: XJ: Integration of XML processing into Java. Technical report, IBM Research (2003)","DOI":"10.1145\/1013367.1013465"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-45271-0_15","volume-title":"The World Wide Web and Databases","author":"H. Hosoya","year":"2001","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A typed XML processing language. In: Suciu, D., Vossen, G. (eds.) WebDB 2000. LNCS, vol.\u00a01997, p. 226. Springer, Heidelberg (2001)"},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. In: Proceedings of ICFP (2000)","DOI":"10.1145\/351240.351242"},{"key":"13_CR17","volume-title":"Writing Secure Code","author":"M. Howard","year":"2003","unstructured":"Howard, M., LeBlanc, D.: Writing Secure Code. Microsoft Press, Redmond (2003)"},{"issue":"3","key":"13_CR18","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Leijen, D., Meijer, E.: Domain Specific Embedded Compilers. In: Proceedings of Conference on Domain-Specific Languages (1999)","DOI":"10.1145\/331960.331977"},{"key":"13_CR20","unstructured":"Matthes, F., M\u00fc\u00dfig, S., Schmidt, J.W.: Persistent polymorphic programming in Tycoon: An introduction. Technical report, University of Glasgow (1994)"},{"key":"13_CR21","unstructured":"Meijer, E., Schulte, W., Bierman, G.M.: Programming with circles, triangles and rectangles. In: Proceedings of XML (2003)"},{"key":"13_CR22","unstructured":"Meijer, E., Schulte, W., Bierman, G.M.: Unifying tables, objects and documents. In: Proceedings of DP-COOL (2003)"},{"key":"13_CR23","volume-title":"Types and programming languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)"},{"key":"13_CR24","volume-title":"Java programming with Oracle SQLJ","author":"J. Price","year":"2002","unstructured":"Price, J.: Java programming with Oracle SQLJ. O\u2019Reilly, Sebastopol (2002)"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Yu, D., Kennedy, A., Syme, D.: Formalization of generics for the .NET common language runtime. In: Proceedings of POPL (2004)","DOI":"10.1145\/964001.964005"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2005 - Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11531142_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:44Z","timestamp":1605643724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11531142_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540279921","9783540317258"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11531142_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}