{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:08:01Z","timestamp":1725793681962},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,1,20]],"date-time":"2016-01-20T00:00:00Z","timestamp":1453248000000},"content-version":"vor","delay-in-days":9,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,1,11]]},"DOI":"10.1145\/2837614.2837670","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T09:05:00Z","timestamp":1452157500000},"page":"429-442","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":75,"title":["Abstracting gradual typing"],"prefix":"10.1145","author":[{"given":"Ronald","family":"Garcia","sequence":"first","affiliation":[{"name":"University of British Columbia, Canada"}]},{"given":"Alison M.","family":"Clark","sequence":"additional","affiliation":[{"name":"University of British Columbia, Canada"}]},{"given":"\u00c9ric","family":"Tanter","sequence":"additional","affiliation":[{"name":"University of Chile, Chile"}]}],"member":"320","published-online":{"date-parts":[[2016,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926409"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628149"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837632"},{"key":"e_1_3_2_1_4_1","first-page":"112","volume-title":"1994 International Conference on Computer Languages","author":"Press ACM","year":"1994","unstructured":"ACM Press . P. Cousot and R. Cousot . Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages), invited paper . In 1994 International Conference on Computer Languages , pages 95\u2013 112 , Toulouse, France, 16\u2013 19 May 1994 . IEEE Computer Society Press, Los Alamitos, California. T. Disney and C. Flanagan. Gradual information flow typing. In International Workshop on Scripts to Programs, 2011. ACM Press. P. Cousot and R. Cousot. Higher-order abstract interpretation (and application to comportment analysis generalizing strictness, termination, projection and PER analysis of functional languages), invited paper. In 1994 International Conference on Computer Languages, pages 95\u2013112, Toulouse, France, 16\u201319 May 1994. IEEE Computer Society Press, Los Alamitos, California. T. Disney and C. Flanagan. Gradual information flow typing. In International Workshop on Scripts to Programs, 2011."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2013.22"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_1_7_1","volume-title":"Deriving a simple gradual security language. available on arXiv","author":"Garcia R.","year":"2015","unstructured":"R. Garcia and \u00c9. Tanter. Deriving a simple gradual security language. available on arXiv , 2015 . URL http:\/\/arxiv.org\/abs\/1511.01399. R. Garcia and \u00c9. Tanter. Deriving a simple gradual security language. available on arXiv, 2015. URL http:\/\/arxiv.org\/abs\/1511.01399."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2629609"},{"key":"e_1_3_2_1_9_1","series-title":"LNCS","first-page":"373","volume-title":"Static Analysis","author":"Giacobazzi R.","unstructured":"R. Giacobazzi and E. Quintarelli . Incompleteness, counterexamples, and refinements in abstract model-checking . In P. Cousot, editor, Static Analysis , volume 2126 of LNCS , pages 356\u2013 373 . Springer-Verlag, 2001. R. Giacobazzi and E. Quintarelli. Incompleteness, counterexamples, and refinements in abstract model-checking. In P. Cousot, editor, Static Analysis, volume 2126 of LNCS, pages 356\u2013373. Springer-Verlag, 2001."},{"key":"e_1_3_2_1_10_1","volume-title":"Trends in Functional Programming, page XXVIII","author":"Herman D.","year":"2007","unstructured":"D. Herman , A. Tomb , and C. Flanagan . Space-efficient gradual typing . In Trends in Functional Programming, page XXVIII , April 2007 . D. Herman, A. Tomb, and C. Flanagan. Space-efficient gradual typing. In Trends in Functional Programming, page XXVIII, April 2007."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048114"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103714"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75284"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_29"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_2"},{"key":"e_1_3_2_1_16_1","first-page":"92","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\u2013 92 , Sept. 2006 . J. G. Siek and W. Taha. Gradual typing for functional languages. In Scheme and Functional Programming Workshop, pages 81\u201392, Sept. 2006."}],"event":{"name":"POPL '16: The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"St. Petersburg FL USA","acronym":"POPL '16"},"container-title":["Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2837614.2837670","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T13:19:20Z","timestamp":1693833560000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837670"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,11]]},"references-count":16,"alternative-id":["10.1145\/2837614.2837670","10.1145\/2837614"],"URL":"https:\/\/doi.org\/10.1145\/2837614.2837670","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2914770.2837670","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,1,11]]},"assertion":[{"value":"2016-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}