{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T21:53:40Z","timestamp":1725573220778},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540254355"},{"type":"electronic","value":"9783540319870"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-31987-0_24","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T13:42:00Z","timestamp":1292852520000},"page":"342-356","source":"Crossref","is-referenced-by-count":1,"title":["Subtyping First-Class Polymorphic Components"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o Costa","family":"Seco","sequence":"first","affiliation":[]},{"given":"Lu\u00eds","family":"Caires","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, Heidelberg (1996)"},{"issue":"4","key":"24_CR2","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R.M. Amadio","year":"1993","unstructured":"Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM Transactions on Programming Languages and Systems\u00a015(4), 575\u2013631 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/3-540-62688-3_29","volume-title":"Typed Lambda Calculi and Applications","author":"M. Brandt","year":"1997","unstructured":"Brandt, M., Henglein, F.: Coinductive axiomatization of recursive type equality and subtyping. In: de Groote, P., Hindley, J.R. (eds.) TLCA 1997. LNCS, vol.\u00a01210, pp. 63\u201381. Springer, Heidelberg (1997)"},{"key":"24_CR4","volume-title":"Proceedings of the Twenty-Second ACM Symposium on Principles of Programming Languages (POPL)","author":"G. Castagna","year":"1995","unstructured":"Castagna, G., Pierce, B.: Corrigendum: Decidable bounded quantification. In: Proceedings of the Twenty-Second ACM Symposium on Principles of Programming Languages (POPL), Portland, Oregon. ACM Press, New York (1995)"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Colazzo, D., Ghelli, G.: Subtyping recursive types in Kernel Fun. In: 14th Symp. on Logic in Computer Science (LICS 1999), pp. 137\u2013146 (1999)","DOI":"10.1109\/LICS.1999.782605"},{"key":"24_CR6","first-page":"497","volume-title":"Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design","author":"W.R. Cook","year":"1994","unstructured":"Cook, W.R., Hill, W.L., Canning, P.S.: Inheritance is not subtyping. In: Gunter, C.A., Mitchell, J.C. (eds.) Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design, pp. 497\u2013518. The MIT Press, Cambridge (1994)"},{"key":"24_CR7","first-page":"247","volume-title":"Theoretical aspects of object-oriented programming: types, semantics, and language design","author":"P.-L. Curien","year":"1994","unstructured":"Curien, P.-L., Ghelli, G.: Coherence of subsumption, minimum typing and type-checking in F \u2009\u2264\u2009. In: Theoretical aspects of object-oriented programming: types, semantics, and language design, pp. 247\u2013292. MIT Press, Cambridge (1994)"},{"issue":"3\u20135","key":"24_CR8","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1007\/s001650200016","volume":"13","author":"M. Gabbay","year":"2002","unstructured":"Gabbay, M., Pitts, A.: A New Approach to Abstract Syntax with Variable Binding. Formal Aspects of Computing\u00a013(3\u20135), 341\u2013363 (2002)","journal-title":"Formal Aspects of Computing"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Gapeyev, V., Levin, M., Pierce, B.: Recursive subtyping revealed. In: Proc. of the Intl. Conference on Functional Programming, ICFP (2000)","DOI":"10.1145\/351240.351261"},{"key":"24_CR10","doi-asserted-by":"crossref","unstructured":"Gauthier, N., Pottier, F.: Numbering matters: First-order canonical forms for second-order recursive types. In: Proc. of the 2004 ACM SIGPLAN Intl. Conference on Functional Programming (ICFP 2004), pp. 150\u2013161 (2004)","DOI":"10.1145\/1016850.1016872"},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0037104","volume-title":"Typed Lambda Calculi and Applications","author":"G. Ghelli","year":"1993","unstructured":"Ghelli, G.: Recursive types are not conservative over F\u2009\u2264\u2009. In: Bezem, M., Groote, J.F. (eds.) TLCA 1993. LNCS, vol.\u00a0664. Springer, Heidelberg (1993)"},{"issue":"1-2","key":"24_CR12","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/0304-3975(94)00037-J","volume":"139","author":"G. Ghelli","year":"1995","unstructured":"Ghelli, G.: Divergence of F\u2009\u2264\u2009 type checking. Theoretical Computer Science\u00a0139(1-2), 131\u2013162 (1995)","journal-title":"Theoretical Computer Science"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. In: Meissner, L. (ed.) Proc. of the 1999 ACM SIGPLAN Conf. on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA 1999), N.Y., vol.\u00a034(10), pp. 132\u2013146 (1999)","DOI":"10.1145\/320385.320395"},{"key":"24_CR14","unstructured":"Jeffrey, A.: A symbolic labelled transition system for coinductive subtyping of F \u03bc\u2009\u2264\u2009. In: 16th Annual IEEE Symposium on Logic in Computer Science (June 2001)"},{"key":"24_CR15","unstructured":"Bettini, B.V.L., Bono, V.: Subtyping mobile classes and mixins. In: FOOL 10 (2003)"},{"key":"24_CR16","first-page":"427","volume-title":"Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design","author":"B.C. Pierce","year":"1994","unstructured":"Pierce, B.C.: Bounded quantification is undecidable. In: Gunter, C.A., Mitchell, J.C. (eds.) Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design, pp. 427\u2013459. MIT Press, Cambridge (1994)"},{"key":"24_CR17","volume-title":"Types and Programming Languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages. The MIT Press, Cambridge (2002)"},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Seco, J.C., Caires, L.: A basic model of typed components. In: Proc. of the European Conf. on Object-Oriented Programming, ECOOP (2000)","DOI":"10.1007\/3-540-45102-1_6"},{"key":"24_CR19","unstructured":"Seco, J.C., Caires, L.: The parametric component calculus. Technical Report UNL-DI-7-2002, FCT-UNL (2002)"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Seco, J.C., Caires, L.: Subtyping first class polymorphic components. Technical Report UNL-DI-1-2005, FCT-UNL (2004)","DOI":"10.1007\/978-3-540-31987-0_24"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-31987-0_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:33:20Z","timestamp":1605742400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-31987-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254355","9783540319870"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-31987-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}