{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:33:44Z","timestamp":1725492824929},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540661566"},{"type":"electronic","value":"9783540487432"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48743-3_8","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T10:39:50Z","timestamp":1192876790000},"page":"161-185","source":"Crossref","is-referenced-by-count":9,"title":["Foundations for Virtual Types"],"prefix":"10.1007","author":[{"given":"Atsushi","family":"Igarashi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin C.","family":"Pierce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Mart\u00edn Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Ole Agesen, Stephen N. Freund, and John C. Mitchell. Adding type parameterization to the Java language. In Object Oriented Programing: Systems, Languages, and Applications (OOPSLA), October 1997.","DOI":"10.1145\/263698.263720"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In Craig Chambers, editor, Object Oriented Programing: Systems, Languages, and Applications (OOPSLA), ACM SIGPLAN Notices volume 33 number 10, pages 183\u2013200, Vancouver, BC, October 1998.","DOI":"10.1145\/286942.286957"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Kim B. Bruce, Luca Cardelli, and Benjamin C. Pierce. Comparing object encodings. Information and Computation, 1998. To appear in a special issue with papers from Theoretical Aspects of Computer Software (TACS), September, 1997. An earlier version appeared as an invited lecture in the Third International Workshop on Foundations of Object Oriented Languages (FOOL 3), July 1996.","DOI":"10.1007\/BFb0014561"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Kim B. Bruce, Martin Odersky, and Philip Wadler. A statically safe alternative to virtual types. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), 1998.","DOI":"10.1007\/BFb0054106"},{"key":"8_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/3-540-49538-X_3","volume-title":"Proceedings of ECOOP\u2019 95","author":"K. B. Bruce","year":"1995","unstructured":"Kim B. Bruce, Angela Schuett, and Robert van Gent. PolyTOIL: A type-safe polymorphic object-oriented language. In W. Olthoff, editor, Proceedings of ECOOP\u2019 95, LNCS 952, pages 27\u201351, Aarhus, Denmark, August 1995. Springer-Verlag."},{"key":"8_CR7","unstructured":"Kim B. Bruce and Joseph C. Vanderwaart. Semantics-driven language design: Statically type-safe virtual types in object-oriented languages. In Fifteenth Confertence on the Mathematical Foundations of Programming Semantics, April 1999."},{"key":"8_CR8","unstructured":"Luca Cardelli. Notes about F < \u03c9 . Unpublished manuscript, October 1990."},{"key":"8_CR9","unstructured":"Luca Cardelli. Typeful programming. In E. J. Neuhold and M. Paul, editors, Formal Description of Programming Concepts. Springer-Verlag, 1991. An earlier version appeared as DEC Systems Research Center Research Report #45, February 1989."},{"issue":"4","key":"8_CR10","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1017\/S0956796800000198","volume":"1","author":"L. Cardelli","year":"1991","unstructured":"Luca Cardelli and Giuseppe Longo. A semantic basis for Quest. Journal of Functional Programming, 1(4):417\u2013458, October 1991. Preliminary version in ACM Conference on Lisp and Functional Programming, June 1990. Also available as DEC SRC Research Report 55, Feb. 1990.","journal-title":"Journal of Functional Programming"},{"issue":"4","key":"8_CR11","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471\u2013522, December 1985.","journal-title":"Computing Surveys"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Robert Cartwright and Guy L. Steele Jr. Compatible genericity with run-time types for the Java programming language. In Craig Chambers, editor, Object Ori-ented Programing: Systems, Languages, and Applications (OOPSLA), SIGPLAN Notices volume 33 number 10, pages 201\u2013215, Vancouver, BC, Octover 1998. ACM.","DOI":"10.1145\/286936.286958"},{"key":"8_CR13","unstructured":"Gang Chen and Giuseppe Longo. Subtyping parametric and dependent types. In Kamareddine et al., editor, Type Theory and Term Rewriting, September 1996. Invited lecture."},{"key":"8_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Computer Science Logic","author":"A. B. Compagnoni","year":"1994","unstructured":"Adriana B. Compagnoni. Decidability of higher-order subtyping with intersection types. In Computer Science Logic, September 1994. Kazimierz, Poland. Springer Lecture Notes in Computer Science 933, June 1995. Also available as University of Edinburgh, LFCS technical report ECS-LFCS-94-281, titled \u201cSubtyping in F < \u2229 is decidable\u201d."},{"issue":"2","key":"8_CR15","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90005-3","volume":"76","author":"T. Coquand","year":"1988","unstructured":"Thierry Coquand and G\u00e9rard Huet. The Calculus of Constructions. Information and Computation, 76(2\/3):95\u2013120, February\/March 1988.","journal-title":"Information and Computation"},{"key":"8_CR16","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Massachusetts, 1994."},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Jean-Yves Girard. Interpr\u00e9tation fonctionelle et \u00e9limination des couedpures de l\u2019arithm\u00e9tique d\u2019ordre sup\u00e9rieur. PhD thesis, Universit\u00e9 Paris VII, 1972. A summary appeared in the Proceedings of the Second Scandinavian Logic Symposium (J.E. Fenstad, editor), North-Holland, 1971 (pp. 63\u201392).","DOI":"10.1016\/S0049-237X(08)70843-7"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proceedings of the Twenty-First ACM Symposium on Principles of Programming Languages (POPL), Portland, Oregon, pages 123\u2013137, Portland, OR, January 1994.","DOI":"10.1145\/174675.176927"},{"issue":"4","key":"8_CR19","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1017\/S0956796800001490","volume":"5","author":"M. Hofmann","year":"1995","unstructured":"Martin Hofmann and Benjamin Pierce. A unifying type-theoretic framework for objects. Journal of Functional Programming, 5(4):593\u2013635, October 1995. Previous versions appeared in the Symposium on Theoretical Aspects of Computer Science, 1994, (pages 251\u2013262) and, under the title \u201cAn Abstract View of Objects and Subtyping (Preliminary Report),\u201d as University of Edinburgh, LFCS technical report ECS-LFCS-92-226, 1992.","journal-title":"Journal of Functional Programming"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Xavier Leroy. Manifest types, modules and separate compilation. In Conference record of POPL\u2019 94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 109\u2013122, Portland, OR, January 1994.","DOI":"10.1145\/174675.176926"},{"key":"8_CR21","unstructured":"Mark Lillibridge. Translucent Sums: A Foundation for Higher-Order Module Systems. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, May 1997."},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1145\/97945.97964","volume-title":"Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) and European Conference on Object-Oriented Programming (ECOOP)","author":"O. Lehrmann Madsen","year":"1990","unstructured":"Ole Lehrmann Madsen, Boris Magnusson, and Birger M\u00f8ller-Pedersen. Strong typing of object-oriented languages revisited. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA) and European Conference on Object-Oriented Programming (ECOOP), pages 140\u2013150, Ottawa, ON Canada, October 1990. ACM Press, New York, NY, USA. Published as SIGPLAN Notices, volume 25,number 10."},{"key":"8_CR23","unstructured":"Ole Lehrmann Madsen and Birger M\u00f8ller-Pedersen. Virtual classes: A powerful mechanism in object-oriented programming. In Object Oriented Programing: Systems, Languages, and Applications (OOPSLA), 1989."},{"key":"8_CR24","unstructured":"Ole Lehrmann Madsen, Birger M\u00f8ller-Pedersen, and Kristen Nygaard. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley, 1993."},{"key":"8_CR25","unstructured":"Andrew C. Myers, Joseph A. Bank, and Barbara Liskov. Parametrized types for Java. In ACM Symposium on Principles of Programming Languages (POPL), January 1997."},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. In ACM Symposium on Principles of Programming Languages (POPL), 1997.","DOI":"10.1145\/263699.263715"},{"issue":"1","key":"8_CR27","first-page":"235","volume":"176","author":"B. Pierce","year":"1997","unstructured":"Benjamin Pierce and Martin Steffen. Higher-order subtyping. In IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET), 1994. Full version in Theoretical Computer Science, vol. 176,no. 1\u20132, pp. 235\u2013282, 1997 (corrigendum in TCS vol. 184 (1997), p. 247).","journal-title":"IFIP Working Conference on Programming Concepts, Methods and Calculi (PROCOMET)"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Benjamin C. Pierce. Bounded quantification is undecidable. Information and Computation, 112(1):131\u2013165, July 1994. Also in Carl A. Gunter and John C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (MIT Press, 1994). A preliminary version appeared in POPL\u2019 92.","DOI":"10.1006\/inco.1994.1055"},{"issue":"2","key":"8_CR29","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. 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.","journal-title":"Journal of Functional Programming"},{"key":"8_CR30","unstructured":"Dedier R\u00e9my and J\u00e9r\u00f4me Vouillon. On the (un)reality of virtual types, November 1998. manuscript."},{"key":"8_CR31","unstructured":"David Shang. Are cows animals? Object Currents 1, 1996. http:\/\/www.sigs.com\/objectcurrents\/ ."},{"key":"8_CR32","volume-title":"The C++ Programming Language","author":"B. Stroustrup","year":"1997","unstructured":"Bjarne Stroustrup. The C++ Programming Language. Addison Wesley Longman, Reading, MA, tthird edition, 1997.","edition":"tthird edition"},{"key":"8_CR33","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"444","DOI":"10.1007\/BFb0053390","volume-title":"Proceedings of the European Conference on Object-Oriented Programming (ECOOP)","author":"K. Krab Thorup","year":"1997","unstructured":"Kresten Krab Thorup. Genericity in Java with virtual types. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), volume 1241 of Lecture Notes in Computer Science, pages 444\u2013471. Springer-Verlag, 1997."},{"key":"8_CR34","doi-asserted-by":"crossref","unstructured":"Kresten Krab Thorup and Mads Torgersen. Unifying genericity: Combining the benefits of virtual types and parametrized classes. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP), Springer-Verlag, June 1999.","DOI":"10.1007\/3-540-48743-3_9"},{"key":"8_CR35","unstructured":"Mads Torgersen. Vitrual types are statically safe. In 5th Workshop on Foundations of Object-Oriented Languages (FOOL), January 1998."}],"container-title":["Lecture Notes in Computer Science","ECOOP\u2019 99 \u2014 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48743-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,8,25]],"date-time":"2021-08-25T20:24:13Z","timestamp":1629923053000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48743-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540661566","9783540487432"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-48743-3_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}