{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,26]],"date-time":"2026-04-26T03:50:29Z","timestamp":1777175429174,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540735885","type":"print"},{"value":"9783540735892","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73589-2_2","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T17:48:05Z","timestamp":1186940885000},"page":"2-27","source":"Crossref","is-referenced-by-count":187,"title":["Gradual Typing for Objects"],"prefix":"10.1007","author":[{"given":"Jeremy","family":"Siek","sequence":"first","affiliation":[]},{"given":"Walid","family":"Taha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer-Verlag, New York (1996)"},{"issue":"2","key":"2_CR2","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M. Abadi","year":"1991","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems\u00a013(2), 237\u2013268 (1991)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1145\/174675.177847","volume-title":"POPL \u201994: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"A. Aiken","year":"1994","unstructured":"Aiken, A., Wimmers, E.L., Lakshman, T.K.: Soft typing with conditional types. In: POPL \u201994: Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, Portland, Oregon, United States, pp. 163\u2013173. ACM Press, New York (1994)"},{"key":"2_CR4","volume-title":"WOOD \u201903, vol","author":"C. Anderson","year":"2003","unstructured":"Anderson, C., Drossopoulou, S.: BabyJ - from object based to class based programming via types. In: WOOD \u201903, vol, vol.\u00a082, Elsevier, Amsterdam (2003)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Aydemir, B.E., Bohannon, A., Fairbairn, M., Foster, J.N., Pierce, B.C., Sewell, P., Vytiniotis, D., Weirich, G.W.S., Zdancewic, S.: Mechanized metatheory for the masses: The POPLmark challenge (May 2005)","DOI":"10.1007\/11541868_4"},{"key":"2_CR6","unstructured":"Bracha, G.: Pluggable type systems. In: OOPSLA\u201904 Workshop on Revival of Dynamic Languages (2004)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/165854.165893","volume-title":"OOPSLA \u201993: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications","author":"G. Bracha","year":"1993","unstructured":"Bracha, G., Griswold, D.: Strongtalk: typechecking smalltalk in a production environment. In: OOPSLA \u201993: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, pp. 215\u2013230. ACM Press, New York (1993)"},{"key":"2_CR8","unstructured":"Bres, Y., Serpette, B.P., Serrano, M.: Compiling scheme programs to.NET common intermediate language. In: 2nd International Workshop on.NET Technologies, Pilzen, Czech Republic (May 2004)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1145\/113445.113469","volume-title":"PLDI \u201991: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation","author":"R. Cartwright","year":"1991","unstructured":"Cartwright, R., Fagan, M.: Soft typing. In: PLDI \u201991: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, pp. 278\u2013292. ACM Press, New York (1991)"},{"key":"2_CR10","unstructured":"Chambers, C., the Cecil\u00a0Group.: The Cecil language: Specification and rationale. Technical report, Department of Computer Science and Engineering, University of Washington, Seattle, Washington (2004)"},{"key":"2_CR11","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/74877.74884","volume-title":"OOPSLA \u201989: Conference proceedings on Object-oriented programming systems, languages and applications","author":"C. Chambers","year":"1989","unstructured":"Chambers, C., Ungar, D., Lee, E.: An efficient implementation of self a dynamically-typed object-oriented language based on prototypes. In: OOPSLA \u201989: Conference proceedings on Object-oriented programming systems, languages and applications, pp. 49\u201370. ACM Press, New York (1989)"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1145\/582153.582176","volume-title":"POPL \u201982: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"L. Damas","year":"1982","unstructured":"Damas, L., Milner, R.: Principal type-schemes for functional programs. In: POPL \u201982: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 207\u2013212. ACM Press, New York (1982)"},{"key":"2_CR13","unstructured":"de Oliveira, R.B.: The Boo programming language (2005), \n                    \n                      http:\/\/boo.codehaus.org"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/207110.207119","volume-title":"PLDI \u201995: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation","author":"J. Dean","year":"1995","unstructured":"Dean, J., Chambers, C., Grove, D.: Selective specialization for object-oriented languages. In: PLDI \u201995: Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, La Jolla, California, United States, pp. 93\u2013102. ACM Press, New York (1995)"},{"key":"2_CR15","unstructured":"ECMA Standard ECMA-262: ECMAScript Language Specification (1999)"},{"key":"2_CR16","volume-title":"Dylan programming: an object-oriented and dynamic language","author":"N. Feinberg","year":"1997","unstructured":"Feinberg, N., Keene, S.E., Mathews, R.O., Withington, P.T.: Dylan programming: an object-oriented and dynamic language. Addison Wesley Longman Publishing, Redwood City, CA (1997)"},{"key":"2_CR17","unstructured":"Felleisen, M., Friedman, D.P.: Control operators, the SECD-machine and the lambda-calculus. pp. 193\u2013217 (1986)"},{"issue":"2","key":"2_CR18","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0304-3975(92)90014-7","volume":"103","author":"M. Felleisen","year":"1992","unstructured":"Felleisen, M., Hieb, R.: The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science\u00a0103(2), 235\u2013271 (1992)","journal-title":"Theoretical Computer Science"},{"key":"2_CR19","volume-title":"ACM International Conference on Functional Programming","author":"R.B. Findler","year":"2002","unstructured":"Findler, R.B., Felleisen, M.: Contracts for higher-order functions. In: ACM International Conference on Functional Programming, ACM Press, New York (2002)"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Findler, R.B., Flatt, M., Felleisen, M.: Semantic casts: Contracts and structural subtyping in a nominal world. In: European Conference on Object-Oriented Programming (2004)","DOI":"10.1007\/978-3-540-24851-4_17"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/1111037.1111059","volume-title":"POPL 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"C. Flanagan","year":"2006","unstructured":"Flanagan, C.: Hybrid type checking. In: POPL 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, pp. 245\u2013256. ACM Press, New York (2006)"},{"issue":"2","key":"2_CR22","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1145\/316686.316703","volume":"21","author":"C. Flanagan","year":"1999","unstructured":"Flanagan, C., Felleisen, M.: Componential set-based analysis. ACM Trans. Program. Lang. Syst.\u00a021(2), 370\u2013416 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"2_CR23","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/231379.231387","volume-title":"PLDI \u201996: Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation","author":"C. Flanagan","year":"1996","unstructured":"Flanagan, C., Flatt, M., Krishnamurthi, S., Weirich, S., Felleisen, M.: Catching bugs in the web of program invariants. In: PLDI \u201996: Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation, Philadelphia, Pennsylvania, United States, pp. 23\u201332. ACM Press, New York (1996)"},{"key":"2_CR24","unstructured":"Flanagan, C., Freund, S.N., Tomb, A.: Hybrid types, invariants, and refinements for imperative objects. In: FOOL\/WOOD \u201906: International Workshop on Foundations and Developments of Object-Oriented Languages (2006)"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1145\/1094811.1094830","volume-title":"OOPSLA \u201905: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications","author":"K.E. Gray","year":"2005","unstructured":"Gray, K.E., Findler, R.B., Flatt, M.: Fine-grained interoperability through mirrors and contracts. In: OOPSLA \u201905: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications, pp. 231\u2013245. ACM Press, New York, NY, USA (2005)"},{"key":"2_CR26","unstructured":"Gronski, J., Knowles, K., Tomb, A., Freund, S.N., Flanagan, C.: Sage: Hybrid checking for flexible specifications. Technical report, University of California, Santa Cruz (2006)"},{"key":"2_CR27","unstructured":"Group, E.T.W.: Ecmascript 4 netscape proposal"},{"key":"2_CR28","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/224164.224173","volume-title":"FPCA \u201995: Proceedings of the seventh international conference on Functional programming languages and computer architecture","author":"C.A. Gunter","year":"1995","unstructured":"Gunter, C.A., Remy, D., Riecke, J.G.: A generalization of exceptions and control in ml-like languages. In: FPCA \u201995: Proceedings of the seventh international conference on Functional programming languages and computer architecture, La Jolla, California, United States, pp. 12\u201323. ACM Press, New York (1995)"},{"issue":"3","key":"2_CR29","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"},{"key":"2_CR30","doi-asserted-by":"crossref","unstructured":"Henglein, F., Rehof, J.: Safe polymorphic type inference for a dynamically typed language: Translating scheme to ml. In: FPCA \u201995, ACM SIGPLAN-SIGARCH Conference on Functional Programming Languages and Computer Architecture, La Jolla, California (June 1995)","DOI":"10.1145\/224164.224203"},{"key":"2_CR31","unstructured":"Herman, D., Tomb, A., Flanagan, C.: Space-efficient gradual typing. In: Trends in Functional Programming (TFP), April 2007 (2007)"},{"key":"2_CR32","doi-asserted-by":"publisher","first-page":"29","DOI":"10.2307\/1995158","volume":"146","author":"R. Hindley","year":"1969","unstructured":"Hindley, R.: The principal type-scheme of an object in combinatory logic. Trans AMS\u00a0146, 29\u201360 (1969)","journal-title":"Trans AMS"},{"key":"2_CR33","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1145\/800068.802140","volume-title":"LFP \u201982: Proceedings of the, ACM symposium on LISP and functional programming","author":"G.L. Steele Jr.","year":"1982","unstructured":"Steele Jr., G.L.: An overview of COMMON LISP. In: LFP \u201982: Proceedings of the, ACM symposium on LISP and functional programming, pp. 98\u2013107. ACM Press, New York (1982)"},{"key":"2_CR34","unstructured":"Kelsey, R., Clinger, W., Rees, J. (eds.): Revised5 report on the algorithmic language scheme. Higher-Order and Symbolic Computation, 11(1) (August 1998)"},{"key":"2_CR35","volume-title":"The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"J. Matthews","year":"2007","unstructured":"Matthews, J., Findler, R.B.: Operational semantics for multi-language programs. In: The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 2007, ACM Press, New York (2007)"},{"key":"2_CR36","unstructured":"Meijer, E., Drayton, P.: Static typing where possible, dynamic typing when needed: The end of the cold war between programming languages. In: OOPSLA\u201904 Workshop on Revival of Dynamic Languages (2004)"},{"issue":"3","key":"2_CR37","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. Journal of Computer and System Sciences\u00a017(3), 348\u2013375 (1978)","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR38","unstructured":"Nanevski, A.: A modal calculus for exception handling. In: Intuitionistic Modal Logics and Applications Workshop (IMLA \u201905), Chicago, IL, June 2005 (2005)"},{"key":"2_CR39","series-title":"Lecture Notes in Computer Science","volume-title":"Isabelle\/HOL \u2014 A Proof Assistant for Higher-Order Logic","year":"2002","unstructured":"Nipkow, T., Paulson, L.C., Wenzel, M. (eds.): Isabelle\/HOL. LNCS, vol.\u00a02283. Springer, Heidelberg (2002)"},{"key":"2_CR40","unstructured":"Ou, X., Tan, G., Mandelbaum, Y., Walker, D.: Dynamic typing with dependent types (extended abstract). In: 3rd IFIP International Conference on Theoretical Computer Science (August 2004)"},{"key":"2_CR41","volume-title":"Types and programming languages","author":"B.C. Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and programming languages. MIT Press, Cambridge, MA, USA (2002)"},{"key":"2_CR42","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/292540.292551","volume-title":"POPL \u201999: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"J. Riely","year":"1999","unstructured":"Riely, J., Hennessy, M.: Trust and partial typing in open systems of mobile agents. In: POPL \u201999: Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 93\u2013104. ACM Press, New York (1999)"},{"key":"2_CR43","unstructured":"Sabry, A.: Minml: Syntax, static semantics, dynamic semantics, and type safety. Course notes for b522 (February 2002)"},{"key":"2_CR44","unstructured":"Serrano, M.: Bigloo: a practical Scheme compiler. Inria-Rocquencourt (April 2002)"},{"key":"2_CR45","volume-title":"The Dylan reference manual: the definitive guide to the new object-oriented dynamic language","author":"A. Shalit","year":"1996","unstructured":"Shalit, A.: The Dylan reference manual: the definitive guide to the new object-oriented dynamic language. Addison Wesley Longman Publishing Co. Inc., Redwood City, CA (1996)"},{"key":"2_CR46","unstructured":"Siek, J., Taha, W.: Gradual typing for objects: Isabelle formaliztaion. Technical Report CU-CS-1021-06, University of Colorado, Boulder, CO (December 2006)"},{"key":"2_CR47","unstructured":"Siek, J.G., Taha, W.: Gradual typing for functional languages. In: Scheme and Functional Programming Workshop (September 2006)"},{"key":"2_CR48","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1007\/3-540-44978-7_15","volume-title":"Programs as Data Objects","author":"W. Taha","year":"2001","unstructured":"Taha, W., Makholm, H., Hughes, J.: Tag elimination and jones-optimality. In: Danvy, O., Filinski, A. (eds.) PADO 2001. LNCS, vol.\u00a02053, pp. 257\u2013275. Springer, Heidelberg (2001)"},{"key":"2_CR49","unstructured":"Tang, A.: Pugs blog"},{"key":"2_CR50","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1145\/96709.96747","volume-title":"POPL \u201990: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"S. Thatte","year":"1990","unstructured":"Thatte, S.: Quasi-static typing. In: POPL \u201990: Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 367\u2013381. ACM Press, New York (1990)"},{"key":"2_CR51","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: Interlanguage migration: From scripts to programs. In: Dynamic Languages Symposium (2006)","DOI":"10.1145\/1176617.1176755"},{"key":"2_CR52","unstructured":"Wenzel, M.: The Isabelle\/Isar Reference Manual. TU M\u00fcnchen (April 2004)"},{"issue":"1","key":"2_CR53","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1994","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation\u00a0115(1), 38\u201394 (1994)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2007 \u2013 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73589-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T21:04:23Z","timestamp":1558472663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73589-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540735885","9783540735892"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73589-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}