{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:12:01Z","timestamp":1762459921981,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,19]]},"DOI":"10.1145\/3427081.3427084","type":"proceedings-article","created":{"date-parts":[[2020,10,22]],"date-time":"2020-10-22T23:50:55Z","timestamp":1603410655000},"page":"17-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["A Gradual Type System for Elixir"],"prefix":"10.1145","author":[{"given":"Mauricio","family":"Cassola","sequence":"first","affiliation":[{"name":"Instituto de Computaci\u00f3n, Universidad de la Rep\u00fablica, Montevideo, Uruguay"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agust\u00edn","family":"Talagorria","sequence":"additional","affiliation":[{"name":"Instituto de Computaci\u00f3n, Universidad de la Rep\u00fablica, Montevideo, Uruguay"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Pardo","sequence":"additional","affiliation":[{"name":"Instituto de Computaci\u00f3n, Universidad de la Rep\u00fablica, Montevideo, Uruguay"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcos","family":"Viera","sequence":"additional","affiliation":[{"name":"Instituto de Computaci\u00f3n, Universidad de la Rep\u00fablica, Montevideo, Uruguay"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/989393.989435"},{"key":"e_1_3_2_1_2_1","unstructured":"Mauricio Cassola Agustin Talagorria Alberto Pardo and Marcos Viera. 2020. Typelixir repository. https:\/\/github.com\/Typelixir\/typelixir  Mauricio Cassola Agustin Talagorria Alberto Pardo and Marcos Viera. 2020. Typelixir repository. https:\/\/github.com\/Typelixir\/typelixir"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290329"},{"key":"e_1_3_2_1_4_1","unstructured":"Dialyxir. 2020. Dialyxir repository. https:\/\/github.com\/jeremyjh\/dialyxir  Dialyxir. 2020. Dialyxir repository. https:\/\/github.com\/jeremyjh\/dialyxir"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544174.2500603"},{"volume-title":"Elixir in Action","author":"Juric Sasa","key":"e_1_3_2_1_6_1","unstructured":"Sasa Juric . 2019. Elixir in Action . Manning Publications . Sasa Juric. 2019. Elixir in Action. Manning Publications."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140356"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/509043"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411273.1411284"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"volume-title":"Scheme and Functional Programming Workshop.","author":"Jeremy","key":"e_1_3_2_1_11_1","unstructured":"Jeremy G. Siek and Walid Taha. 2006. Gradual typing for functional languages . In Scheme and Functional Programming Workshop. Jeremy G. Siek and Walid Taha. 2006. Gradual typing for functional languages. In Scheme and Functional Programming Workshop."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1408681.1408688"},{"key":"e_1_3_2_1_13_1","volume-title":"Refined Criteria for Gradual Typing. In 1st Summit on Advances in Programming Languages (SNAPL 2015) (Leibniz International Proceedings in Informatics (LIPIcs)","volume":"293","author":"Siek Jeremy G.","year":"2015","unstructured":"Jeremy G. Siek , Michael M. Vitousek , Matteo Cimini , and John Tang Boyland . 2015 . Refined Criteria for Gradual Typing. In 1st Summit on Advances in Programming Languages (SNAPL 2015) (Leibniz International Proceedings in Informatics (LIPIcs) , Vol. 32). Dagstuhl, Germany, 274-- 293 . Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, and John Tang Boyland. 2015. Refined Criteria for Gradual Typing. In 1st Summit on Advances in Programming Languages (SNAPL 2015) (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 32). Dagstuhl, Germany, 274--293."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3281287.3281289"},{"key":"e_1_3_2_1_15_1","unstructured":"Josef Svenningsson. 2020. Gradualizer repository. https:\/\/github.com\/josefs\/Gradualizer  Josef Svenningsson. 2020. Gradualizer repository. https:\/\/github.com\/josefs\/Gradualizer"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/2559351"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_1"}],"event":{"name":"SBLP '20: 24th Brazilian Symposium on Programming Languages","sponsor":["SBC Brazilian Computer Society"],"location":"Natal Brazil","acronym":"SBLP '20"},"container-title":["Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming and Advanced Modularity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3427081.3427084","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3427081.3427084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:24Z","timestamp":1750197744000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3427081.3427084"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":17,"alternative-id":["10.1145\/3427081.3427084","10.1145\/3427081"],"URL":"https:\/\/doi.org\/10.1145\/3427081.3427084","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]},"assertion":[{"value":"2020-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}