{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:29:28Z","timestamp":1725506968855},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540789680"},{"type":"electronic","value":"9783540789697"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78969-7_17","type":"book-chapter","created":{"date-parts":[[2008,4,4]],"date-time":"2008-04-04T07:39:50Z","timestamp":1207294790000},"page":"224-238","source":"Crossref","is-referenced-by-count":1,"title":["Undoing Dynamic Typing (Declarative Pearl)"],"prefix":"10.1007","author":[{"given":"Nick","family":"Benton","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L., Pierce, B., Plotkin, G.: Dynamic typing in a statically-typed language. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a013(2) (1991)","DOI":"10.1145\/103135.103138"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Benton, N.: Embedded interpreters. Journal of Functional Programming\u00a015(4) (2005)","DOI":"10.1017\/S0956796804005398"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Blume, M., McAllester, D.: Sound and complete models of contracts. Journal of Functional Programming\u00a016(4\/5) (2006)","DOI":"10.1017\/S0956796806005971"},{"key":"17_CR4","volume-title":"Proceedings of the 23rd ACM Symposium on Principles of Programming Languages (POPL)","author":"O. Danvy","year":"1996","unstructured":"Danvy, O.: Type-directed partial evaluation. In: Proceedings of the 23rd ACM Symposium on Principles of Programming Languages (POPL), ACM Press, New York (1996)"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Danvy, O.: Functional unparsing. Journal of Functional Programming\u00a08(6) (1998)","DOI":"10.1017\/S0956796898003104"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055112","volume-title":"Automata, Languages and Programming","author":"O. Danvy","year":"1998","unstructured":"Danvy, O.: A Simple Solution to Type Specialization. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol.\u00a01443, Springer, Heidelberg (1998)"},{"key":"17_CR7","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.B. Findler","year":"2006","unstructured":"Findler, R.B., 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":"17_CR8","doi-asserted-by":"crossref","unstructured":"Findler, R., Felleisen, M.: Contracts for higher-order functions. In: Proceedings of the International Conference on Functional Programming (ICFP) (2002)","DOI":"10.1145\/581478.581484"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Haines, N., Kindred, D., Morrisett, J.G., Nettles, S.M., Wing, J.M.: Composing first-class transactions. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a016(6) (1994)","DOI":"10.1145\/197320.197346"},{"key":"17_CR10","series-title":"Lecture Notes in Computer Science","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, Springer, Heidelberg (1992)"},{"key":"17_CR11","series-title":"Lecture Notes in Computer Science","first-page":"208","volume-title":"Functional and Logic Programming","author":"J. Jeuring","year":"2006","unstructured":"Jeuring, J., Hinze, R., L\u00f6h, A.: Typed Contracts for Functional Programming. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol.\u00a03945, pp. 208\u2013225. Springer, Heidelberg (2006)"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"Kennedy, A.: Functional pearl: Pickler combinators. Journal of Functional Programming\u00a014(6) (2004)","DOI":"10.1017\/S0956796804005209"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Matthews, J., Findler, R.B.: Operational semantics for multi-language programs. In: Proceedings of the 34th ACM Symposium on Principles of Programming Languages (POPL) (2007)","DOI":"10.1145\/1190216.1190220"},{"key":"17_CR14","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Eiffel: The Language. Prentice-Hall, Englewood Cliffs (1992)"},{"key":"17_CR15","unstructured":"Ramsey, N.: Embedding an interpreted language using higher-order functions and types. Journal of Functional Programming (to appear, 2008)"},{"key":"17_CR16","unstructured":"Rose, K.: Type-directed partial evaluation in Haskell. In: Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation, number NS-98-1 in BRICS Notes (1998)"},{"key":"17_CR17","doi-asserted-by":"crossref","unstructured":"Scott, D.: Data types as lattices. SIAM Journal of Computing\u00a04 (1976)","DOI":"10.1137\/0205037"},{"key":"17_CR18","volume-title":"Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory","author":"J.E. Stoy","year":"1977","unstructured":"Stoy, J.E.: Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, Cambridge (1977)"},{"key":"17_CR19","unstructured":"Wadler, P., Findler, R.B.: Well-typed programs can\u2019t be blamed. In: ACM Workshop on Scheme and Functional Programming (2007)"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Yang, Z.: Encoding types in ML-like languages. In: Proceedings of the 3rd ACM SIGPLAN International Conference on Functional Programming (ICFP) (September 1998)","DOI":"10.1145\/289423.289458"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78969-7_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:05:57Z","timestamp":1619507157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78969-7_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540789680","9783540789697"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78969-7_17","relation":{},"subject":[]}}