{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:53:09Z","timestamp":1742399589564},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405313"},{"type":"electronic","value":"9783540450702"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45070-2_8","type":"book-chapter","created":{"date-parts":[[2010,11,8]],"date-time":"2010-11-08T16:23:52Z","timestamp":1289233432000},"page":"151-175","source":"Crossref","is-referenced-by-count":30,"title":["Regular Object Types"],"prefix":"10.1007","author":[{"given":"Vladimir","family":"Gapeyev","sequence":"first","affiliation":[]},{"given":"Benjamin C.","family":"Pierce","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Kostadinov, V., Chambers, C.: Alias annotations for program understanding. In: ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications, OOPSLA (November 2002)","DOI":"10.1145\/582419.582448"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Ancona, D., Lagorio, G., Zucca, E.: A core calculus for Java exceptions. In: ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), pp. 16\u201330 (2001)","DOI":"10.1145\/504282.504284"},{"key":"8_CR3","unstructured":"Ancona, D., Zucca, E.: True modules for Java-like languages: Design and foundations, Technical Report DISI-TR-00-12, Dipartimento di Informatica e Scienze dellInformazione, Universit\u2018a di Genova (August 2000)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Benzaken, V., Castagna, G., Frisch, A.: CDuce: a white paper. In: Workshop on Programming Language Technologies for XML, PLAN-X (2002), ftp:\/\/ftp.ens.fr\/pub\/di\/users\/castagna\/cduce-wp.ps.gz","DOI":"10.1145\/944705.944711"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Bracha, G., Odersky, M., Stoutamire, D., Wadler, P.: Making the future safe for the past: Adding genericity to the Java programming language. In: Chambers, C. (ed.) ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications (OOPSLA), ACM SIGPLAN Notices, Vancouver, BC, October 1998, vol.\u00a033(10), pp. 183\u2013200 (1998)","DOI":"10.1145\/286942.286957"},{"volume-title":"The Object Database Standard: ODMG-1993","year":"1994","key":"8_CR6","unstructured":"Catell, R. (ed.): The Object Database Standard: ODMG-1993. Morgan Kaufmann, San Francisco (1994)"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Christensen, A.S., Moller, A., Schwartzbach, M.I.: Extending Java for highlevel web service construction (2002), http:\/\/www.brics.dk\/~mis\/jwig.ps","DOI":"10.7146\/brics.v9i11.21729"},{"key":"8_CR8","unstructured":"Clark, J.: TREX: Tree Regular Expressions for XML (2001), http:\/\/www.thaiopensource.com\/trex\/"},{"key":"8_CR9","unstructured":"Clark, J., Murata, M.: RELAX NG (2001), http:\/\/www.relaxng.org"},{"key":"8_CR10","unstructured":"Document Object Model (DOM) Level 3 validation specification, W3C working draft (2002), http:\/\/www.w3.org\/TR\/DOM-Level-3-Val"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-44503-X_18","volume-title":"Database Theory - ICDT 2001","author":"M.F. Fern\u00e1ndez","year":"2000","unstructured":"Fern\u00e1ndez, M.F., Sim\u00e9on, J., Wadler, P.: A semi-monad for semi-structured data. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol.\u00a01973, pp. 263\u2013300. Springer, Heidelberg (2000)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Frisch, A., Castagna, G., Benzaken, V.: Semantic subtyping. In: IEEE Symposium on Logic in Computer Science (LICS) (2002)","DOI":"10.1109\/LICS.2002.1029823"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Hosoya, H.: Regular Expression Types for XML. PhD thesis, The University of Tokyo, Japan (2000)","DOI":"10.1145\/351240.351242"},{"key":"8_CR14","unstructured":"Hosoya, H.: Regular expression pattern matching - a simpler design. Technical Report 1397, RIMS, Kyoto University (2003)"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Murata, M.: Validation and boolean operations for attributeelement constraints. In: Workshop on Programming Language Technologies for XML, PLAN-X (2002)","DOI":"10.1007\/3-540-45089-0_19"},{"key":"#cr-split#-8_CR16.1","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Pierce, B.: Regular expression pattern matching. In: ACM Symposium on Principles of Programming Languages (POPL), London, England (2001);","DOI":"10.1145\/360204.360209"},{"key":"#cr-split#-8_CR16.2","unstructured":"Full version to appear in Journal of Functional Programming"},{"key":"8_CR17","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 (preliminary report). In: Suciu, D., Vossen, G. (eds.) WebDB 2000. LNCS, vol.\u00a01997, p. 226. Springer, Heidelberg (2001); Reprinted in The Web and Databases, Selected Papers. LNCS, vol. 1997. Springer, Heidelberg (2001)"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A statically typed XML processing language. ACM Transactions on Internet Technology (2003) (to appear)","DOI":"10.1145\/767193.767195"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Hosoya, H., Vouillon, J., Pierce, B.C.: Regular expression types for XML. In: Proceedings of the International Conference on Functional Programming, ICFP (2000)","DOI":"10.1145\/351240.351242"},{"key":"#cr-split#-8_CR20.1","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. In: ACM Symposium on Object Oriented Programming: Systems, Languages, and Applications, OOPSLA (October 1999);","DOI":"10.1145\/320384.320395"},{"key":"#cr-split#-8_CR20.2","unstructured":"Full version in ACM Transactions on Programming Languages and Systems (TOPLAS) 23(3) (May 2001)"},{"issue":"1","key":"8_CR21","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1006\/inco.2002.3092","volume":"177","author":"A. Igarashi","year":"2002","unstructured":"Igarashi, A., Pierce, B.C.: On inner classes. Information and Computation\u00a0177(1), 56\u201389 (2002); A special issue with papers from the 7th Workshop on Foundations of Object-Oriented Languages (FOOL); informal proceedings. An earlier version appeared in Proceedings of the 14th European Conference on Object- Oriented Programming (ECOOP). LNCS, vol. 1850, pp. 129\u2013153. Springer, Heidelberg","journal-title":"Information and Computation"},{"key":"8_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/3-540-44543-9_18","volume-title":"Research Issues in Structured and Semistructured Database Programming","author":"T. Lahiri","year":"2000","unstructured":"Lahiri, T., Abiteboul, S., Widom, J.: Ozone: integrating structured and semistructured data. In: Connor, R.C.H., Mendelzon, A.O. (eds.) DBPL 1999. LNCS, vol.\u00a01949, pp. 297\u2013332. Springer, Heidelberg (2000)"},{"issue":"2","key":"8_CR23","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1145\/514952.514954","volume":"24","author":"C. League","year":"2002","unstructured":"League, C., Shao, Z., Trifonov, V.: Type-preserving compilation of Featherweight Java. ACM Transactions on Programming Languages and Systems\u00a024(2), 112\u2013152 (2002)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"8_CR24","unstructured":"Meijer, E., Shields, M.: XM\u03bb: A functional programming language for constructing and manipulating XML documents (1999) (submitted for publication)"},{"key":"8_CR25","unstructured":"Odersky, M.: Report on the programming language Scala (2002), http:\/\/lamp.epfl.ch\/~odersky\/scala\/reference.ps"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Odersky, M., Wadler, P.: Pizza into Java: Translating theory into practice. In: ACM Symposium on Principles of Programming Languages (POPL), Paris, France (1997)","DOI":"10.1145\/263699.263715"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Papaconstantinou, Y., Garcia-Molina, H., Widom, J.: Object exchange across heterogeneous information sources. In: International Conference on Data Engineering (March 1995)","DOI":"10.1109\/ICDE.1995.380386"},{"key":"8_CR28","unstructured":"Relaxer, http:\/\/www.asahi-net.or.jp\/~dp8t-asm\/java\/tools\/Relaxer\/index.html"},{"key":"8_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/3-540-44978-7_11","volume-title":"Programs as Data Objects","author":"U.P. Schultz","year":"2001","unstructured":"Schultz, U.P.: Partial evaluation for class-based object-oriented languages. In: Danvy, O., Filinski, A. (eds.) PADO 2001. LNCS, vol.\u00a02053, pp. 173\u2013197. Springer, Heidelberg (2001)"},{"key":"8_CR30","doi-asserted-by":"crossref","unstructured":"Shields, M., Meijer, E.: Type-indexed rows. In: ACM Symposium on Principles of Programming Languages (POPL), London, England (2001)","DOI":"10.1145\/360204.360230"},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/3-540-45504-3_13","volume-title":"Proof Theory in Computer Science","author":"T. Studer","year":"2001","unstructured":"Studer, T.: Constructive foundations for Featherweight Java. In: Kahle, R., Schroeder-Heister, P., St\u00e4rk, R.F. (eds.) PTCS 2001. LNCS, vol.\u00a02183, p. 202. Springer, Heidelberg (2001)"},{"key":"8_CR32","unstructured":"Sun Microsystems. The Java architecture for XML binding, JAXB (2001), http:\/\/java.sun.com\/xml\/jaxb"},{"key":"8_CR33","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"1","volume-title":"Proceedings of Workshop on Types in Programming (TIP 2002)","author":"N. Tabuchi","year":"2002","unstructured":"Tabuchi, N., Sumii, E., Yonezawa, A.: Regular expression types for strings in a text processing language. In: Barthe, G., Thiemann, P. (eds.) Proceedings of Workshop on Types in Programming (TIP 2002). Electronic Notes in Theoretical Computer Science, vol.\u00a075, pp. 1\u201319. Elsevier Science, Amsterdam (2002)"},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"Tofte, M.: Type inference for polymorphic references. Information and Computation 89(1) (November 1990)","DOI":"10.1016\/0890-5401(90)90018-D"},{"key":"8_CR35","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1145\/317636.317794","volume-title":"Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP\u201899), ACM SIGPLAN Notices","author":"M. Wallace","year":"1999","unstructured":"Wallace, M., Runciman, C.: Haskell and XML: Generic combinators or typebased translation? In: Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP\u201899), ACM SIGPLAN Notices, vol.\u00a034\u20139, pp. 148\u2013159. ACM Press, New York (1999)"},{"key":"8_CR36","unstructured":"Extensible Markup Language (XMLTM), XML 1.0, W3C Recommendation (February 1998), http:\/\/www.w3.org\/XML\/"},{"key":"8_CR37","unstructured":"XQuery 1.0: An XML Query Language, W3C Working Draft (November 2002), http:\/\/www.w3.org\/TR\/xquery\/"},{"key":"8_CR38","unstructured":"XQuery 1.0 and XPath 2.0 Formal Semantics, W3C Working Draft (November 2002), http:\/\/www.w3c.org\/TR\/query-semantics\/"},{"key":"8_CR39","unstructured":"XML Schema Part 0: Primer, W3C Working Draft (2000), http:\/\/www.w3.org\/TR\/xmlschema-0\/"},{"key":"8_CR40","unstructured":"XSL Transformations (XSLT) (1999), http:\/\/www.w3.org\/TR\/xslt"},{"key":"8_CR41","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/3-540-47993-7_20","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"M. Zenger","year":"2002","unstructured":"Zenger, M.: Type-safe prototype-based component evolution. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, p. 470. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2003 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45070-2_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,13]],"date-time":"2021-11-13T02:08:59Z","timestamp":1636769339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45070-2_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405313","9783540450702"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45070-2_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}