{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:31:14Z","timestamp":1725672674121},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["846121"],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2012,9,9]]},"DOI":"10.1145\/2661103.2661112","type":"proceedings-article","created":{"date-parts":[[2014,8,13]],"date-time":"2014-08-13T16:33:47Z","timestamp":1407947627000},"page":"68-80","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Interpretations of the gradually-typed lambda calculus"],"prefix":"10.1145","author":[{"given":"Jeremy G.","family":"Siek","sequence":"first","affiliation":[{"name":"University of Colorado at Boulder"}]},{"given":"Ronald","family":"Garcia","sequence":"additional","affiliation":[{"name":"University of British Columbia"}]}],"member":"320","published-online":{"date-parts":[[2012,9,9]]},"reference":[{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/145055.145079"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001535"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_2_6_1","volume-title":"Calculating threesomes with blame","author":"Garcia R.","year":"2012","unstructured":"R. Garcia . Calculating threesomes with blame . October 2012 . R. Garcia. Calculating threesomes with blame. October 2012."},{"key":"e_1_3_2_2_7_1","volume-title":"Trends in Functional Prog. (TFP), page XXIX","author":"Gronski J.","year":"2007","unstructured":"J. Gronski and C. Flanagan . Unifying hybrid types and contracts . In Trends in Functional Prog. (TFP), page XXIX , April 2007 . J. Gronski and C. Flanagan. Unifying hybrid types and contracts. In Trends in Functional Prog. (TFP), page XXIX, April 2007."},{"key":"e_1_3_2_2_8_1","volume-title":"ECMA TG1 working group","author":"Hansen L. T.","year":"2007","unstructured":"L. T. Hansen . Evolutionary programming and gradual typing in EC-MAScript 4 (tutorial). Technical report , ECMA TG1 working group , November 2007 . L. T. Hansen. Evolutionary programming and gradual typing in EC-MAScript 4 (tutorial). Technical report, ECMA TG1 working group, November 2007."},{"key":"e_1_3_2_2_9_1","volume-title":"Version 1.32","author":"Harper R.","year":"2012","unstructured":"R. Harper . Practical foundations for programming languages. Working Draft , Version 1.32 , May 2012 . R. Harper. Practical foundations for programming languages. Working Draft, Version 1.32, May 2012."},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(94)00004-2"},{"key":"e_1_3_2_2_11_1","volume-title":"Trends in Functional Prog. (TFP), page XXVIII","author":"Herman D.","year":"2007","unstructured":"D. Herman , A. Tomb , and C. Flanagan . Space-efficient gradual typing . In Trends in Functional Prog. (TFP), page XXVIII , April 2007 . D. Herman, A. Tomb, and C. Flanagan. Space-efficient gradual typing. In Trends in Functional Prog. (TFP), page XXVIII, April 2007."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103714"},{"key":"e_1_3_2_2_13_1","unstructured":"J. G. Siek. My new favorite abstract machine: ECD on ANF. http:\/\/siek.blogspot.com\/2012\/07\/my-new-favorite-abstract-machine-ecd-on.html July 2012. J. G. Siek. My new favorite abstract machine: ECD on ANF. http:\/\/siek.blogspot.com\/2012\/07\/my-new-favorite-abstract-machine-ecd-on.html July 2012."},{"key":"e_1_3_2_2_14_1","first-page":"81","volume-title":"Scheme and Functional Programming Workshop","author":"Siek J. G.","year":"2006","unstructured":"J. G. Siek and W. Taha . Gradual typing for functional languages . In Scheme and Functional Programming Workshop , pages 81 -- 92 , September 2006 . J. G. Siek and W. Taha. Gradual typing for functional languages. In Scheme and Functional Programming Workshop, pages 81--92, September 2006."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394758.2394762"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706342"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_2"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_1"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706343"}],"event":{"name":"ICFP'12: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Copenhagen Denmark","acronym":"ICFP'12"},"container-title":["Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2661103.2661112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,7]],"date-time":"2023-01-07T19:45:12Z","timestamp":1673120712000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661103.2661112"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,9]]},"references-count":18,"alternative-id":["10.1145\/2661103.2661112","10.1145\/2661103"],"URL":"https:\/\/doi.org\/10.1145\/2661103.2661112","relation":{},"subject":[],"published":{"date-parts":[[2012,9,9]]},"assertion":[{"value":"2012-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}