{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T09:58:17Z","timestamp":1742378297303},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-49538-x_8","type":"book-chapter","created":{"date-parts":[[2007,11,11]],"date-time":"2007-11-11T03:37:18Z","timestamp":1194752238000},"page":"145-167","source":"Crossref","is-referenced-by-count":17,"title":["On Subtyping and Matching"],"prefix":"10.1007","author":[{"given":"Mart\u00edn","family":"Abadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Cardelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"8_CR1","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1017\/S0956796800001052","volume":"4","author":"M. Abadi","year":"1994","unstructured":"Abadi, M., Baby Modula-3 and a theory of objects. Journal of Functional Programming 4(2), 249\u2013283. 1994.","journal-title":"Journal of Functional Programming"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Abadi, M. and L. Cardelli, A theory of primitive objects: untyped and first-order systems. Proc. Theoretical Aspects of Computer Software. Springer-Verlag. 1994.","DOI":"10.1007\/3-540-57887-0_101"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Abadi, M. and L. Cardelli, A semantics of object types. Proc. IEEE Symposium on Logic in Computer Science, 332\u2013341. 1994.","DOI":"10.1109\/LICS.1994.316056"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Abadi, M. and L. Cardelli, A theory of primitive objects: second-order systems. Proc. ESOP\u201994-European Symposium on Programming. Springer-Verlag. 1994.","DOI":"10.1007\/3-540-57880-3_1"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Abadi, M. and L. Cardelli, An imperative object calculus. Proc. FASE\u201995-Formal Approaches in Software Engineering (to appear). Springer-Verlag. 1995.","DOI":"10.1007\/3-540-59293-8_214"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Abadi, M. and G. Plotkin, A per model of polymorphism and recursive types. Proc. 5th Annual IEEE Symposium on Logic in Computer Science, 355\u2013365. 1990.","DOI":"10.1109\/LICS.1990.113761"},{"issue":"1","key":"8_CR7","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90074-C","volume":"91","author":"R.M. Amadio","year":"1991","unstructured":"Amadio, R.M., Recursion over realizability structures. Information and Computation 91(1), 55\u201385. 1991.","journal-title":"Information and Computation"},{"issue":"4","key":"8_CR8","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R.M. Amadio","year":"1993","unstructured":"Amadio, R.M. and L. Cardelli, Subtyping recursive types. ACM Transactions on Programming Languages and Systems 15(4), 575\u2013631. 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1017\/S0956796800001039","volume":"4","author":"K.B. Bruce","year":"1994","unstructured":"Bruce, K.B., A paradigmatic object-oriented programming language: design, static typing and semantics. Journal of Functional Programming 4(2), 127\u2013206. 1994.","journal-title":"Journal of Functional Programming"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Bruce, K.B., L. Cardelli, G. Castagna, The Hopkins Object Group, G.T. Leavens, and B. Pierce, On binary methods. (To appear.) 1995.","DOI":"10.1002\/j.1096-9942.1995.tb00019.x"},{"issue":"1\/2","key":"8_CR11","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1016\/0890-5401(90)90062-M","volume":"87","author":"K.B. Bruce","year":"1990","unstructured":"Bruce, K.B. and G. Longo, A modest model of records, inheritance and bounded quantification. Information and Computation 87(1\/2), 196\u2013240. 1990.","journal-title":"Information and Computation"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Bruce, K.B. and J.C. Mitchell, PER models of subtyping, recursive types and higher-order polymorphism. Proc. 19nd Annual ACM Symposium on Principles of Programming Languages, 316\u2013327. 1992.","DOI":"10.1145\/143165.143230"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Bruce, K.B., A. Schuett, and R. van Gent, PolyTOIL: a type-safe polymorphic object-oriented language. Proc. ECOOP\u201995. Springer-Verlag. 1995.","DOI":"10.1007\/3-540-49538-X_3"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Canning, P., W. Cook, W. Hill, W. Olthoff, and J.C. Mitchell, F-bounded polymorphism for object-oriented programming. Proc. ACM Conference on Functional Programming and Computer Architecture, 273\u2013280. 1989.","DOI":"10.1145\/99370.99392"},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"Cardelli, L., A semantics of multiple inheritance. Information and Computation 76, 138\u2013164. 1988.","journal-title":"Information and Computation"},{"issue":"4","key":"8_CR16","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1017\/S0956796800000198","volume":"1","author":"L. Cardelli","year":"1991","unstructured":"Cardelli, L. and G. Longo, A semantic basis for Quest. Journal of Functional Programming 1(4), 417\u2013458. 1991.","journal-title":"Journal of Functional Programming"},{"issue":"1","key":"8_CR17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1017\/S0960129500000049","volume":"1","author":"L. Cardelli","year":"1991","unstructured":"Cardelli, L. and J.C. Mitchell, Operations on records. Mathematical Structures in Computer Science 1(1), 3\u201348. 1991.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1\u20132","key":"8_CR18","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1006\/inco.1994.1013","volume":"109","author":"L. Cardelli","year":"1994","unstructured":"Cardelli, L., J.C. Mitchell, S. Martini, and A. Scedrov, An extension of system F with subtyping. Information and Computation 109(1\u20132), 4\u201356. 1994.","journal-title":"Information and Computation"},{"key":"8_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/BFb0035759","volume-title":"Proc. Automata, Languages and Programming","author":"F. Cardone","year":"1989","unstructured":"Cardone, F., Relational semantics for recursive types and bounded quantification. Proc. Automata, Languages and Programming, 164\u2013178. Lecture Notes in Computer Science 372. Springer-Verlag. 1989."},{"key":"8_CR20","volume-title":"Higher-order subtyping with intersection types","author":"A.B. Compagnoni","year":"1995","unstructured":"Compagnoni, A.B., Higher-order subtyping with intersection types. Ph.D. Thesis, Cip-Data Koninklijke Bibliotheek, Den Haag, Nijmegen. 1995."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Cook, W., W. Hill, and P. Canning, Inheritance is not subtyping. Proc. Seventeenth Annual ACM Symposium on Principles of Programming Languages. 1990.","DOI":"10.1145\/96709.96721"},{"issue":"1","key":"8_CR22","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1017\/S0960129500001134","volume":"2","author":"P.-L. Curien","year":"1992","unstructured":"Curien, P.-L. and G. Ghelli, Coherence of subsumption, minimum typing and type-checking in F\u2264. Mathematical Structures in Computer Science 2(1), 55\u201391. 1992.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"1","key":"8_CR23","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/62058.62060","volume":"20","author":"S. Danforth","year":"1988","unstructured":"Danforth, S. and C. Tomlinson, Type theories and object-oriented programming. ACM Computing Surveys 20(1), 29\u201372. 1988.","journal-title":"ACM Computing Surveys"},{"key":"8_CR24","unstructured":"Day, M., R. Gruber, B. Liskov, and A.C. Myers, Abstraction mechanisms in Theta. MIT. 1994."},{"key":"8_CR25","first-page":"16","volume":"94","author":"J. Eifrig","year":"1994","unstructured":"Eifrig, J., S. Smith, V. Trifonov, and A. Zwarico, An interpretation of typed OOP in a language with state. Proc. OOPSLA\u201994, 16\u201330. 1994.","journal-title":"Proc. OOPSLA\u2019"},{"key":"8_CR26","unstructured":"Girard, J.-Y., Interpretation fonctionelle et \u00e9limination des coupures dans l\u2019arithm\u00e9tique d\u2019ordre sup\u00e9rieur. Th\u00e8se de doctorat d\u2019\u00e9tat, University of Paris. 1972."},{"key":"8_CR27","unstructured":"Gunter, C.A. and J.C. Mitchell, ed., Theoretical Aspects of Object-Oriented Programming. MIT Press. 1994."},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Harper, R. and B. Pierce, A record calculus based on symmetric concatenation. Proc. 18th Annual ACM Symposium on Principles of Programming Languages. 1991.","DOI":"10.1145\/99583.99603"},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"Hofmann, M. and B.C. Pierce, A unifying type-theoretic framework for objects. Proc. Symposium on Theoretical Aspects of Computer Science. 1994.","DOI":"10.1007\/3-540-57785-8_146"},{"issue":"8","key":"8_CR30","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/185087.185098","volume":"29","author":"D. Katiyar","year":"1994","unstructured":"Katiyar, D., D. Luckham, and J.C. Mitchell, Polymorphism and subtyping in interfaces. ACM SIGPLAN Notices 29(8), 22\u201334. 1994.","journal-title":"ACM SIGPLAN Notices"},{"key":"8_CR31","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0019-9958(86)80019-5","volume":"71","author":"D.B. MacQueen","year":"1986","unstructured":"MacQueen, D.B., G.D. Plotkin, and R. Sethi, An ideal model for recursive polymorphic types. Information and Control 71, 95\u2013130. 1986.","journal-title":"Information and Control"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"Mitchell, J.C., Toward a typed foundation for method specialization and inheritance. Proc. 17th Annual ACM Symposium on Principles of Programming Languages, 109\u2013124. 1990.","DOI":"10.1145\/96709.96719"},{"key":"8_CR33","unstructured":"Nelson, G., ed. Systems programming with Modula-3. Prentice Hall. 1991."},{"key":"8_CR34","unstructured":"Steffen, M. and B.C. Pierce, Higher-order subtyping. Technical Report ECS-LFCS-94-280. University of Edinburgh. 1994."}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49538-X_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:17Z","timestamp":1605647837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49538-X_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540601609"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-49538-x_8","relation":{},"subject":[]}}