{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:55:29Z","timestamp":1725530129622},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642005893"},{"type":"electronic","value":"9783642005909"}],"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"},{"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_2","type":"book-chapter","created":{"date-parts":[[2009,3,27]],"date-time":"2009-03-27T12:05:58Z","timestamp":1238155558000},"page":"17-31","source":"Crossref","is-referenced-by-count":55,"title":["Exploring the Design Space of Higher-Order Casts"],"prefix":"10.1007","author":[{"given":"Jeremy","family":"Siek","sequence":"first","affiliation":[]},{"given":"Ronald","family":"Garcia","sequence":"additional","affiliation":[]},{"given":"Walid","family":"Taha","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Findler, R.B., Felleisen, M.: Contracts for higher-order functions. In: ACM International Conference on Functional Programming (October 2002)","DOI":"10.1145\/581478.581484"},{"key":"2_CR2","doi-asserted-by":"crossref","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 (January 2006)","DOI":"10.1145\/1111037.1111059"},{"key":"2_CR3","unstructured":"Flanagan, C., Freund, S.N., Tomb, A.: Hybrid types, invariants, and refinements for imperative objects. In: FOOL\/WOOD2006: International Workshop on Foundations and Developments of Object-Oriented Languages (2006)"},{"key":"2_CR4","unstructured":"Gronski, J., Flanagan, C.: Unifying hybrid types and contracts. In: Trends in Functional Prog. (TFP) (2007)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-55253-7_14","volume-title":"ESOP \u201992","author":"F. Henglein","year":"1992","unstructured":"Henglein, F.: Dynamic typing. In: Krieg-Br\u00fcckner, B. (ed.) ESOP 1992. LNCS, vol.\u00a0582, pp. 233\u2013253. Springer, Heidelberg (1992)"},{"issue":"3","key":"2_CR6","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_CR7","unstructured":"Herman, D., Tomb, A., Flanagan, C.: Space-efficient gradual typing. In: Trends in Functional Prog. (TFP), p. XXVIII (April 2007)"},{"key":"2_CR8","unstructured":"Siek, J.G., Taha, W.: Gradual typing for functional languages. In: Scheme and Functional Programming Workshop, pp. 81\u201392 (September 2006)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-73589-2_2","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"J.G. Siek","year":"2007","unstructured":"Siek, J.G., Taha, W.: Gradual typing for objects. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 2\u201327. Springer, Heidelberg (2007)"},{"key":"2_CR10","unstructured":"Wadler, P., Findler, R.B.: Well-typed programs can\u2019t be blamed. In: Workshop on Scheme and Functional Programming, pp. 15\u201326 (2007)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"ESOP 2009","author":"P. Wadler","year":"2009","unstructured":"Wadler, P., Findler, R.B.: Well-typed programs can\u2019t be blamed. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 1\u201316. Springer, Heidelberg (2009)"}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T07:32:16Z","timestamp":1551943936000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00590-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642005893","9783642005909"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00590-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}