{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:48:54Z","timestamp":1760586534565},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642141065"},{"type":"electronic","value":"9783642141072"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14107-2_5","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T08:10:14Z","timestamp":1277799014000},"page":"76-100","source":"Crossref","is-referenced-by-count":25,"title":["Adding Dynamic Types to C $^\\sharp$"],"prefix":"10.1007","author":[{"given":"Gavin","family":"Bierman","sequence":"first","affiliation":[]},{"given":"Erik","family":"Meijer","sequence":"additional","affiliation":[]},{"given":"Mads","family":"Torgersen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L., Pierce, B.C., Plotkin, G.D.: Dynamic typing in a statically-typed language. In: Proceedings of POPL (1989)","DOI":"10.1145\/75277.75296"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Aiken, A., Wimmers, E.L., Lakshman, T.K.: Soft typing with conditional types. In: Proceedings of POPL (1994)","DOI":"10.1145\/174675.177847"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Anderson, C., Drossopoulou, S.: BabyJ: From object based to class based programming via types. In: Proceedings of WOOD (2003)","DOI":"10.1016\/S1571-0661(04)80802-8"},{"key":"5_CR4","unstructured":"Bierman, G.M.: Formalizing and extending C $^{\\sharp}$ type inference. In: Proceedings of FOOL (2007)"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Bierman, G.M., Meijer, E., Torgersen, M.: Lost in translation: Formalizing proposed extensions to C $^{\\sharp}$ . In: Proceedings of OOPSLA (2007)","DOI":"10.1145\/1297027.1297063"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Bierman, G.M., Parkinson, M.J.: Effects and effect inference for a core Java calculus. In: Proceedings of WOOD (2003)","DOI":"10.1016\/S1571-0661(04)80803-X"},{"key":"5_CR7","unstructured":"Bierman, G.M., Parkinson, M.J., Pitts, A.M.: MJ: An imperative core calculus for Java and Java with effects. Technical Report 563, University of Cambridge (2003)"},{"issue":"1","key":"5_CR8","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/0890-5401(91)90055-7","volume":"93","author":"V. Breazu-Tannen","year":"1991","unstructured":"Breazu-Tannen, V., Coquand, T., Gunter, C.A., Scedrov, A.: Inheritance as implicit coercion. Information and computation\u00a093(1), 172\u2013221 (1991)","journal-title":"Information and computation"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Cartwright, R., Fagan, M.: Soft typing. In: Proceedings of PLDI (1991)","DOI":"10.1145\/113445.113469"},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Findler, R., Wadler, P.: Well-typed programs can\u2019t be blamed. In: Proceedings of ESOP (2009)","DOI":"10.1007\/978-3-642-00590-9_1"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Flatt, M., Krishnamurthi, S., Felleisen, M.: Classes and mixins. In: Proceedings of POPL (1998)","DOI":"10.1145\/268946.268961"},{"key":"5_CR12","volume-title":"The C $^\\sharp$ Programming Language","author":"A. Hejlsberg","year":"2009","unstructured":"Hejlsberg, A., Torgersen, M., Wiltamuth, S., Golde, P.: The C $^\\sharp$ Programming Language, 3rd edn. Addison-Wesley, Reading (2009)","edition":"3"},{"issue":"3","key":"5_CR13","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0167-6423(94)00004-2","volume":"22","author":"F. Henglein","year":"1994","unstructured":"Henglein, F.: Dynamic typing: syntax and proof theory. Science of Computer Programming\u00a022(3), 197\u2013230 (1994)","journal-title":"Science of Computer Programming"},{"issue":"3","key":"5_CR14","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Kennedy, A., Syme, D.: Transposing F to C $^\\sharp$ . Concurrency and Computation\u00a016(7) (2004)","DOI":"10.1002\/cpe.801"},{"key":"5_CR16","unstructured":"Knowles, K., Tomb, A., Gronski, J., Freund, S.N., Flanagan, C.: Sage: Unified hybrid checking for first-class types, general refinement types and Dynamic. Technical report, UCSC (2007)"},{"key":"5_CR17","unstructured":"Meijer, E., Drayton, P.: Static typing where possible, dynamic typing when needed: The end of the cold war between programming languages. In: OOPSLA Workshop on Revival of Dynamic Languages (2004)"},{"key":"5_CR18","volume-title":"Types and programming languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and programming languages. MIT Press, Cambridge (2002)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Pierce, B.C., Turner, D.N.: Local type inference. In: Proceedings of POPL (1998)","DOI":"10.1145\/268946.268967"},{"key":"5_CR20","unstructured":"Siek, J., Taha, W.: Gradual typing for functional languages. In: Proceedings of Scheme and Functional Programming Workshop (2006)"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Siek, J., Taha, W.: Gradual typing for objects. In: Proceedings of ECOOP (2007)","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Thatte, S.: Quasi-static typing. In: Proceedings of POPL (1990)","DOI":"10.1145\/96709.96747"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: Interlanguage migration: From scripts to programs. In: Proceedings of DSL (2006)","DOI":"10.1145\/1176617.1176755"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: The design and implementation of Typed Scheme. In: Proceedings of POPL (2007)","DOI":"10.1145\/1328438.1328486"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Wrigstad, T., Zappa Nardelli, F., Lebresne, S., \u00d6stlund, J., Vitek, J.: Integrating typed and untyped code in a scripting language. In: Proceedings of POPL (2010)","DOI":"10.1145\/1706299.1706343"},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Yu, D., Kennedy, A., Syme, D.: Formalization of generics for the .NET common language runtime. In: Proceedings of POPL (2004)","DOI":"10.1145\/964001.964005"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2010 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14107-2_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:47:45Z","timestamp":1606168065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14107-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642141065","9783642141072"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14107-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}