{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:00:31Z","timestamp":1750309231718,"version":"3.41.0"},"reference-count":16,"publisher":"Association for Computing Machinery (ACM)","issue":"8","license":[{"start":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T00:00:00Z","timestamp":1722470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ANID Millennium Science Initiative Program","award":["ICN17_002"],"award-info":[{"award-number":["ICN17_002"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2024,8]]},"DOI":"10.1145\/3653328","type":"journal-article","created":{"date-parts":[[2024,7,18]],"date-time":"2024-07-18T15:34:28Z","timestamp":1721316868000},"page":"49-53","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Gradual Differentially Private Programming"],"prefix":"10.1145","volume":"67","author":[{"given":"Mat\u00edas","family":"Toro","sequence":"first","affiliation":[{"name":"University of Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Olmedo","sequence":"additional","affiliation":[{"name":"University of Chile and Millenium Institute on Foundational Research on Data (IMFD), Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c9ric","family":"Tanter","sequence":"additional","affiliation":[{"name":"University of Chile and Millenium Institute on Foundational Research on Data (IMFD), Chile"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,8]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","unstructured":"\u00c1rquez D. Toro M. and Tanter \u00c9. Gradual Sensitivity Typing (Aug. 2023); 10.48550\/arXiv.2308.02018.","DOI":"10.48550\/arXiv.2308.02018"},{"key":"e_1_3_1_3_2","doi-asserted-by":"publisher","unstructured":"Azevedo de Amorim A. Gaboardi M. Hsu J. and Katsumata S. Probabilistic relational reasoning via metrics. In Proceedings of Symp. Logic in Computer Science (Jun. 2019) 1\u201319; 10.1109\/LICS.2019.8785715.","DOI":"10.1109\/LICS.2019.8785715"},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","unstructured":"Barthe G. et al. Higher-order approximate relational refinement types for mechanism design and differential privacy. In Proceedings of Symp. Principles of Programming Languages (Jan. 2015) 15\u201317; 10.1145\/2676726.2677000.","DOI":"10.1145\/2676726.2677000"},{"key":"e_1_3_1_5_2","doi-asserted-by":"publisher","unstructured":"Barthe G. et al. Proving differential privacy via probabilistic couplings. In Proceedings of Symp. Logic in Computer Science (Jul. 2016) 749\u2013758; 10.1145\/2933575.2934554.","DOI":"10.1145\/2933575.2934554"},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","unstructured":"Barthe G. K\u00f6pf B. Olmedo F. and Zanella-B\u00e9guelin S. Probabilistic relational reasoning for differential privacy. Trans. Programming Languages and Systems (Nov. 2013) 1\u201349; 10.1145\/2492061.","DOI":"10.1145\/2492061"},{"key":"e_1_3_1_7_2","doi-asserted-by":"publisher","unstructured":"Dwork C. Differential privacy. In Proceedings of Intern. Colloquium on Automata Languages and Programming (July 2006) 1\u201312; 10.1007\/11787006_1.","DOI":"10.1007\/11787006_1"},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","unstructured":"Gaboardi M. et al. Linear dependent types for differential privacy. In Proceedings of Symp. Principles of Programming Languages (Jan. 2013) 357\u2013370; 10.1145\/2429069.2429113.","DOI":"10.1145\/2429069.2429113"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.14778\/3055330.3055331"},{"key":"e_1_3_1_10_2","unstructured":"MyPy; https:\/\/mypy-lang.org\/."},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","unstructured":"Near J.P. et al. Duet: An expressive higher-order language and linear type system for statically enforcing differential privacy. In Proceedings ACM Program. Lang (2019) 172:1\u2013172:30; 10.1145\/3360598.","DOI":"10.1145\/3360598"},{"key":"e_1_3_1_12_2","doi-asserted-by":"publisher","unstructured":"Reed J. and Pierce B.C. Distance makes the types grow stronger: A calculus for differential privacy. In Proceedings of Intern. Conf. Functional Programming (Sep. 2010) 157\u2013168; doi: 10.1145\/1863543.1863568.","DOI":"10.1145\/1863543.1863568"},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","unstructured":"Sato T. et al. Approximate span liftings: compositional semantics for relaxations of differential privacy. In Proceedings of Symp. Logic in Computer Science (Jun. 2019) 1\u201314; 10.1109\/LICS.2019.8785668.","DOI":"10.1109\/LICS.2019.8785668"},{"key":"e_1_3_1_14_2","unstructured":"Siek J. and Taha W. Gradual typing for functional languages. Scheme and Functional Programming (Sept. 2006) 81\u201392; http:\/\/scheme2006.cs.uchicago.edu\/13-siek.pdf."},{"key":"e_1_3_1_15_2","unstructured":"The Top Programming Languages; https:\/\/octoverse.github.com\/2022\/top-programming-languages."},{"key":"e_1_3_1_16_2","article-title":"T\u00e9cnicas formales de privacidad de datos: \u00bfEst\u00e1 el Servel protegiendo nuestra privacidad?","volume":"22","author":"Toro M.","year":"2022","unstructured":"Toro, M. T\u00e9cnicas formales de privacidad de datos: \u00bfEst\u00e1 el Servel protegiendo nuestra privacidad? Bits de Ciencia 22, (June 2022); https:\/\/www.dcc.uchile.cl\/difusion\/revista\/22.","journal-title":"Bits de Ciencia"},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","unstructured":"Toro M. et al. Contextual linear types for differential privacy. Trans. Programming Languages and Systems (2023) 8:1\u20138:69; 10.1145\/3589207","DOI":"10.1145\/3589207"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3653328","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3653328","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:25Z","timestamp":1750290265000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3653328"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8]]},"references-count":16,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2024,8]]}},"alternative-id":["10.1145\/3653328"],"URL":"https:\/\/doi.org\/10.1145\/3653328","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"type":"print","value":"0001-0782"},{"type":"electronic","value":"1557-7317"}],"subject":[],"published":{"date-parts":[[2024,8]]},"assertion":[{"value":"2024-08-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}