{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T16:54:05Z","timestamp":1773334445683,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642005893","type":"print"},{"value":"9783642005909","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00590-9_1","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T08:05:58Z","timestamp":1238141158000},"page":"1-16","source":"Crossref","is-referenced-by-count":174,"title":["Well-Typed Programs Can\u2019t Be Blamed"],"prefix":"10.1007","author":[{"given":"Philip","family":"Wadler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert Bruce","family":"Findler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"1_CR1","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 Trans. Prog. Lang. Syst.\u00a013(2), 237\u2013268 (1991)","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"1_CR2","unstructured":"Bracha, G.: Pluggable type systems. In: OOPSLA 2004 Workshop on Revival of Dynamic Languages (October 2004)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/11737414_16","volume-title":"Functional and Logic Programming","author":"R. Findler","year":"2006","unstructured":"Findler, R., Blume, M.: Contracts as pairs of projections. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 226\u2013241. Springer, Heidelberg (2006)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Findler, R.B., Felleisen, M.: Contracts for higher-order functions. In: ACM International Conference on Functional Programming (ICFP) (October 2002)","DOI":"10.1145\/581478.581484"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Flanagan, C.: Hybrid type checking. In: ACM Symposium on Principles of Programming Languages (POPL) (Janurary 2006)","DOI":"10.1145\/1111037.1111059"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Gray, K.E., Findler, R.B., Flatt, M.: Fine-grained interoperability through contracts and mirrors. In: ACM Conference on Object-Oriented Programming: Systems, Languages, and Applications (OOPSLA), pp. 231\u2013246 (2005)","DOI":"10.1145\/1094811.1094830"},{"key":"1_CR7","unstructured":"Gronski, J., Flanagan, C.: Unifying hybrid types and contracts. In: Trends in Functional Programming (TFP) (April 2007)"},{"key":"1_CR8","unstructured":"Gronski, J., Knowles, K., Tomb, A., Freund, S.N., Flanagan, C.: Sage: Hybrid checking for flexible specifications. In: Workshop on Scheme and Functional Programming (September 2006)"},{"issue":"3","key":"1_CR9","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. Sci. Comput. Programming\u00a022(3), 197\u2013230 (1994)","journal-title":"Sci. Comput. Programming"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Matthews, J., Findler, R.B.: Operational semantics for multi-language programs. In: ACM Symposium on Principles of Programming Languages (POPL) (Janurary 2007)","DOI":"10.1145\/1190216.1190220"},{"key":"1_CR11","unstructured":"Meijer, E.: Static typing where possible, dynamic typing where needed. In: OOPSLA 2004 Workshop on Revival of Dynamic Languages (October 2004)"},{"key":"1_CR12","volume-title":"Object-Oriented Software Construction","author":"B. Meyer","year":"1988","unstructured":"Meyer, B.: Object-Oriented Software Construction. Prentice Hall, Englewood Cliffs (1988)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Ou, X., Tan, G., Mandelbaum, Y., Walker, D.: Dynamic typing with dependent types. In: IFIP International Conference on Theoretical Computer Science (August 2004)","DOI":"10.1007\/1-4020-8141-3_34"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/978-3-642-00590-9_2","volume-title":"ESOP 2009","author":"J. Siek","year":"2009","unstructured":"Siek, J., Garcia, R., Taha, W.: Exploring the design space of higher-order casts. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 17\u201331. Springer, Heidelberg (2009)"},{"key":"1_CR15","unstructured":"Siek, J.G., Taha, W.: Gradual typing for functional languages. In: Workshop on Scheme and Functional Programming (September 2006)"},{"key":"1_CR16","series-title":"Lecture Notes in Computer Science","volume-title":"Automata, Languages and Programming","author":"S. Thatte","year":"1988","unstructured":"Thatte, S.: Type inference with partial types. In: Lepist\u00f6, T., Salomaa, A. (eds.) ICALP 1988. LNCS, vol.\u00a0317. Springer, Heidelberg (1988)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: Interlanguage migration: From scripts to programs. In: Dynamic Languages Symposium (DLS) (2006)","DOI":"10.1145\/1176617.1176755"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: The design and implementation of typed scheme. In: ACM Symposium on Principles of Programming Languages (POPL) (2008)","DOI":"10.1145\/1328438.1328486"},{"key":"1_CR19","unstructured":"Wadler, P., Findler, R.B.: Well-typed programs can\u2019t be blamed. In: Workshop on Scheme and Functional Programming (September 2007)"},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"Wadler, P., Findler, R.B.: Well-typed programs can\u2019t be blamed. Technical Report TR-2009-01, University of Chicago (2009)","DOI":"10.1007\/978-3-642-00590-9_1"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Wright, A.K., Cartwright, R.: A practical soft typing system for Scheme. ACM Trans. Prog. Lang. Syst.\u00a019(1) (1997)","DOI":"10.1145\/239912.239917"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00590-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T00:23:36Z","timestamp":1558225416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00590-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005893","9783642005909"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00590-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}