{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:22:47Z","timestamp":1725456167117},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600176"},{"type":"electronic","value":"9783540494041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022246","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T01:12:29Z","timestamp":1132621949000},"page":"46-60","source":"Crossref","is-referenced-by-count":10,"title":["Decidability of higher-order subtyping with intersection types"],"prefix":"10.1007","author":[{"given":"Adriana B.","family":"Compagnoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"issue":"4","key":"4_CR1","doi-asserted-by":"crossref","first-page":"931","DOI":"10.2307\/2273659","volume":"48","author":"H. P. Barendregt","year":"1983","unstructured":"H. P. Barendregt, M. Coppo, and M. Dezani-Ciancaglini. A filter lambda model and the completeness of type assignment. Journal of Symbolic Logic, 48(4):931\u2013940, 1983.","journal-title":"Journal of Symbolic Logic"},{"doi-asserted-by":"crossref","unstructured":"Kim Bruce and John Mitchell. PER models of subtyping, recursive types and higher-order polymorphism. In Proceedings of the Nineteenth ACM Symposium on Principles of Programming Languages, Albequerque, NM, January 1992.","key":"4_CR2","DOI":"10.1145\/143165.143230"},{"doi-asserted-by":"crossref","unstructured":"Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John Mitchell. Fbounded quantification for object-oriented programming. In Fourth International Conference on Functional Programming Languages and Computer Architecture, pages 273\u2013280, September 1989.","key":"4_CR3","DOI":"10.1145\/99370.99392"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"Luca Cardelli. A semantics of multiple inheritance. Information and Computation, 76:138\u2013164, 1988. Preliminary version in Semantics of Data Types, Kahn, MacQueen, and Plotkin, eds., Springer-Verlag LNCS 173, 1984.","journal-title":"Information and Computation"},{"unstructured":"Luca Cardelli. Notes about F\n\n                  >\n                  \u03c9\n                . Unpublished manuscript, October 1990.","key":"4_CR5"},{"doi-asserted-by":"crossref","unstructured":"Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4), December 1985.","key":"4_CR6","DOI":"10.1145\/6041.6042"},{"unstructured":"Felice Cardone and Mario Coppo. Two extensions of Curry's type inference system. In Odifreddi [20], pages 19\u201376.","key":"4_CR7"},{"key":"4_CR8","volume-title":"Decidable bounded quantification","author":"G. Castagna","year":"1994","unstructured":"Giuseppe Castagna and Benjamin Pierce. Decidable bounded quantification. In Proceedings of Twenty-First Annual ACM Symposium on Principles of Programming Languages, Portland, OR. ACM, January 1994."},{"key":"4_CR9","volume-title":"PhD thesis","author":"A. Compagnoni","year":"1995","unstructured":"Adriana Compagnoni. Higher-Order Subtyping with Intersection Types. PhD thesis, University of Nijmegen, The Netherlands, January 1995."},{"unstructured":"Adriana B. Compagnoni. Subtyping in F\n\n                  \u22c0\n                  \u03c9\n                 is decidable. Technical Report ECS-LFCS-94-281, LFCS, University of Edinburgh, January 1994.","key":"4_CR10"},{"unstructured":"Adriana B. Compagnoni and Benjamin C. Pierce. Multiple inheritance via intersection types. Mathematical Structures in Computer Science, 1995. To appear. Preliminary version available as University of Edinburgh technical report ECS-LFCS-93-275 and Catholic University Nijmegen computer science technical report 93-18, Aug. 1993.","key":"4_CR11"},{"doi-asserted-by":"crossref","unstructured":"William R. Cook, Walter L. Hill, and Peter S. Canning. Inheritance is not subtyping. In Seventeenth Annual ACM Symposium on Principles of Programming Languages, pages 125\u2013135, San Francisco, CA, January 1990. Also in [18].","key":"4_CR12","DOI":"10.1145\/96709.96721"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/BF02011875","volume":"19","author":"M. Coppo","year":"1978","unstructured":"M. Coppo and M. Dezani-Ciancaglini. A new type-assignment for \u03bb-terms. Archiv. Math. Logik, 19:139\u2013156, 1978.","journal-title":"Archiv. Math. Logik"},{"key":"4_CR14","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1017\/S0960129500001134","volume":"2","author":"P. Curien","year":"1992","unstructured":"Pierre-Louis Curien and Giorgio Ghelli. Coherence of subsumption: Minimum typing and type-checking in F\n\u2264. Mathematical Structures in Computer Science, 2:55\u201391, 1992. Also in [18].","journal-title":"Mathematical Structures in Computer Science"},{"unstructured":"Giorgio Ghelli. Proof Theoretic Studies about a Minimal Type System Integrating Inclusion and Parametric Polymorphism. PhD thesis, Universit\u00e0 di Pisa, March 1990. Technical report TD-6\/90, Dipartimento di Informatica, Universit\u00e0 di Pisa.","key":"4_CR15"},{"unstructured":"Giorgio Ghelli, January 1994. Message to the Types mailing list.","key":"4_CR16"},{"unstructured":"Jean-Yves Girard. Interpr\u00e9tation fonctionelle et \u00e9limination des coupures de l'arithm\u00e9tique d'ordre sup\u00e9rieur. PhD thesis, Universit\u00e9 Paris VII, 1972.","key":"4_CR17"},{"unstructured":"Carl A. Gunter and John C. Mitchell. Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design. The MIT Press, 1994.","key":"4_CR18"},{"doi-asserted-by":"crossref","unstructured":"John C. Mitchell. Toward a typed foundation for method specialization and inheritance. In Proceedings of the 17th ACM Symposium on Principles of Programming Languages, pages 109\u2013124, January 1990. Also in in [18].","key":"4_CR19","DOI":"10.1145\/96709.96719"},{"unstructured":"Piergiorgio Odifreddi, editor. Logic and Computer Science. Number 31 in APIC Studies in Data Processing. Academic Press, 1990.","key":"4_CR20"},{"unstructured":"Benjamin C. Pierce. Programming with Intersection Types and Bounded Polymorphism. PhD thesis, Carnegie Mellon University, December 1991. Available as School of Computer Science technical report CMU-CS-91-205.","key":"4_CR21"},{"issue":"2","key":"4_CR22","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1017\/S0956796800001040","volume":"4","author":"B. C. Pierce","year":"1994","unstructured":"Benjamin C. Pierce and David N. Turner. Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming, 4(2):207\u2013247, April 1994.","journal-title":"Journal of Functional Programming"},{"unstructured":"Martin Steffen and Benjamin Pierce. Higher-order subtyping. In IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET), June 1994. An earlier version appeared as University of Edinburgh technical report ECS-LFCS-94-280 and Universit\u00e4t Erlangen-N\u00fcrnberg Interner Bericht IMMD7-01\/94, February 1994.","key":"4_CR23"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022246","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,5]],"date-time":"2019-02-05T00:04:18Z","timestamp":1549325058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022246"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600176","9783540494041"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0022246","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}