{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:05Z","timestamp":1725663665819},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540577850"},{"type":"electronic","value":"9783540483328"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57785-8_146","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:19:18Z","timestamp":1330262358000},"page":"249-262","source":"Crossref","is-referenced-by-count":4,"title":["A unifying type-theoretic framework for objects"],"prefix":"10.1007","author":[{"given":"Martin","family":"Hofmann","sequence":"first","affiliation":[]},{"given":"Benjamin","family":"Pierce","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","unstructured":"Mart\u00edn Abadi. Doing without F-bounded quantification. Message to Types electronic mail list, February 1992."},{"key":"20_CR2","unstructured":"Roberto M. Amadio and Luca Cardelli. Subtyping recursive types. In Proceedings of the Eighteenth ACM Symposium on Principles of Programming Languages, pages 104\u2013118, Orlando, FL, January 1991. Also available as DEC Systems Research Center Research Report number 62, August 1990. To appear in TOPLAS."},{"key":"20_CR3","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(90)90151-7","volume":"70","author":"S. Bainbridge","year":"1990","unstructured":"S. Bainbridge, P. Freyd, A. Scedrov, and P. Scott. Functorial polymorphism. Theoretical Computer Science, 70:35\u201364, 1990.","journal-title":"Theoretical Computer Science"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Kim B. Bruce. Safe type checking in a statically typed object-oriented programming language. In Proceedings of the Twentieth ACM Symposium on Principles of Programming Languages, 1993. To appear in Journal of Functional Programming.","DOI":"10.1145\/158511.158650"},{"key":"20_CR5","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.","DOI":"10.1145\/143165.143230"},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"Peter Canning, William Cook, Walter Hill, Walter Olthoff, and John Mitchell. F-bounded quantification for object-oriented programming. In Fourth International Conference on Functional Programming Languages and Computer Architecture, pages 273\u2013280, September 1989.","DOI":"10.1145\/99370.99392"},{"key":"20_CR7","doi-asserted-by":"crossref","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"},{"key":"20_CR8","unstructured":"Luca Cardelli. Notes about 0261\u201301. Unpublished notes, October 1990."},{"key":"20_CR9","unstructured":"Luca Cardelli. Extensible records in a pure calculus of subtyping. Research report 81, DEC Systems Research Center, January 1992. Also in Carl A. Gunter and John C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (The MIT Press; to appear, 1993)."},{"key":"20_CR10","series-title":"number 526 in Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"750","DOI":"10.1007\/3-540-54415-1_73","volume-title":"Theoretical Aspects of Computer Software","author":"L. Cardelli","year":"1991","unstructured":"Luca Cardelli, Simone Martini, John C. Mitchell, and Andre Scedrov. An extension of system F with subtyping. In T. Ito and A. R. Meyer, editors, Theoretical Aspects of Computer Software (Sendai, Japan), number 526 in Lecture Notes in Computer Science, pages 750\u2013770. Springer-Verlag, September 1991."},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4), December 1985.","DOI":"10.1145\/6041.6042"},{"key":"20_CR12","first-page":"182","volume-title":"A calculus for overloaded functions with subtyping","author":"G. Castagna","year":"1992","unstructured":"G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. In ACM conference on LISP and Functional Programming, pages 182\u2013192, San Francisco, July 1992. ACM Press. Also available as Rapport de Recherche LIENS-92-4, Ecole Normale Sup\u00e9rieure, Paris."},{"key":"20_CR13","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 Carl A. Gunter and John C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (The MIT Press; to appear, 1993)."},{"issue":"9","key":"20_CR14","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1145\/365813.365819","volume":"9","author":"O. J. Dahl","year":"1966","unstructured":"O. J. Dahl and K. Nygaard. SIMULA\u2014An ALGOL-based simulation language. Communications of the ACM, 9(9):671\u2013678, September 1966.","journal-title":"Communications of the ACM"},{"key":"20_CR15","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":"20_CR16","volume-title":"Smalltalk-80: The Language and Its Implementation","author":"A. Goldberg","year":"1983","unstructured":"Adele Goldberg and David Robson. Smalltalk-80: The Language and Its Implementation. Addison-Wesley, Reading, MA, 1983."},{"key":"20_CR17","unstructured":"Martin Hofmann and Benjamin Pierce. An abstract view of objects and subtyping (preliminary report). Technical Report ECS-LFCS-92-226, University of Edinburgh, LFCS, 1992."},{"key":"20_CR18","unstructured":"A. Kock. Strong functors and monoidal monads. Various Publications Series 11, Aarhus Universitet, 1970."},{"key":"20_CR19","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 Carl A. Gunter and John C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (The MIT Press; to appear, 1993).","DOI":"10.1145\/96709.96719"},{"key":"20_CR20","unstructured":"John C. Mitchell. A type-inference approach to reduction properties and semantics of polymorphic expressions. In G\u00e9rard Huet, editor, Logical Foundations of Functional Programming, University of Texas at Austin Year of Programming Series, pages 195\u2013212. Addison-Wesley, 1990."},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"John Mitchell and Gordon Plotkin. Abstract types have existential type. ACM Transactions on Programming Languages and Systems, 10(3), July 1988.","DOI":"10.1145\/44501.45065"},{"key":"20_CR22","unstructured":"Benjamin C. Pierce and Robert Pollack. Higher-order subtyping. Unpublished manuscript, August 1992."},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Benjamin C. Pierce and David N. Turner. Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming, 1993. To appear; a preliminary version appeared in Principles of Programming Languages, 1993, and as University of Edinburgh technical report ECS-LFCS-92-225, under the title \u201cObject-Oriented Programming Without Recursive Types\u201d.","DOI":"10.1145\/158511.158653"},{"key":"20_CR24","unstructured":"Benjamin C. Pierce and David N. Turner. Statically typed friendly functions via partially abstract types. Technical Report ECS-LFCS-93-256, University of Edinburgh, LFCS, April 1993. Also available as INRIA-Rocquencourt Rapport de Recherche No. 1899."},{"key":"20_CR25","first-page":"408","volume-title":"Proc. Collogue sur la Programmation","author":"R. John","year":"1974","unstructured":"John Reynolds. Towards a theory of type structure. In Proc. Collogue sur la Programmation, pages 408\u2013425, New York, 1974. Springer-Verlag LNCS 19."},{"key":"20_CR26","first-page":"309","volume-title":"Programming Methodology, A Collection of Articles by IFIP WG2.3","author":"J. C. Reynolds","year":"1978","unstructured":"John C. Reynolds. User defined types and procedural data structures as complementary approaches to data abstraction. In David Gries, editor, Programming Methodology, A Collection of Articles by IFIP WG2.3, pages 309\u2013317. Springer-Verlag, New York, 1978. Reprinted from S. A. Schuman (ed.), New Advances in Algorithmic Languages 1975, Inst. de Recherche d'Informatique et d'Automatique, Rocquencourt, 1975, pages 157\u2013168. Also in Carl A. Gunter and John C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (The MIT Press; to appear, 1993)."},{"key":"20_CR27","unstructured":"Gavin C. Wraith. A note on categorical datatypes. Number 389 in Lecture Notes in Computer Science. Springer-Verlag, 1989."}],"container-title":["Lecture Notes in Computer Science","STACS 94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57785-8_146.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:13:56Z","timestamp":1605647636000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57785-8_146"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577850","9783540483328"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-57785-8_146","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}