{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:22:50Z","timestamp":1750220570926,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"FCT.IP Portugal","award":["UIDB\/04516\/2020"],"award-info":[{"award-number":["UIDB\/04516\/2020"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,9,27]]},"DOI":"10.1145\/3475061.3475082","type":"proceedings-article","created":{"date-parts":[[2021,10,5]],"date-time":"2021-10-05T19:46:12Z","timestamp":1633463172000},"page":"83-91","source":"Crossref","is-referenced-by-count":5,"title":["Retrofitting Typestates into Rust"],"prefix":"10.1145","author":[{"given":"Jos\u00e9","family":"Duarte","sequence":"first","affiliation":[{"name":"NOVA LINCS -- Nova School of Science and Technology, Portugal"}]},{"given":"Ant\u00f3nio","family":"Ravara","sequence":"additional","affiliation":[{"name":"NOVA LINCS -- Nova School of Science and Technology, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2021,10,5]]},"reference":[{"volume-title":"OOPSLA\u201909","author":"Aldrich Jonathan","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000031"},{"volume-title":"CONCUR\u201993","author":"Honda Kohei","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2873052"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Thomas Bracht\u00a0Laumann Jespersen Philip Munksgaard and Ken\u00a0Friis Larsen. 2015. Session types for rust. In WGP\u201915 co-located with ICFP. 13\u201322. https:\/\/doi.org\/10.1145\/2808098.2808100  Thomas Bracht\u00a0Laumann Jespersen Philip Munksgaard and Ken\u00a0Friis Larsen. 2015. Session types for rust. In WGP\u201915 co-located with ICFP. 13\u201322. https:\/\/doi.org\/10.1145\/2808098.2808100","DOI":"10.1145\/2808098.2808100"},{"volume-title":"Rusty Variation Deadlock-free Sessions with Failure in Rust. Electronic Proceedings in Theoretical Computer Science, EPTCS 304","year":"2019","author":"Kokke Wen","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2017.10.006"},{"key":"e_1_3_2_1_9_1","unstructured":"Jo\u00e3o Mota. 2021. Coping with the reality: adding crucial features to a typestate-oriented language. Master\u2019s thesis. NOVA School of Science and Technology. https:\/\/github.com\/jdmota\/java-typestate-checker\/blob\/master\/docs\/msc-thesis.pdf  Jo\u00e3o Mota. 2021. Coping with the reality: adding crucial features to a typestate-oriented language. Master\u2019s thesis. NOVA School of Science and Technology. https:\/\/github.com\/jdmota\/java-typestate-checker\/blob\/master\/docs\/msc-thesis.pdf"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/567067.567093"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.324.4"},{"volume-title":"FORTE\u201920(Lecture Notes in Computer Science, Vol.\u00a012136)","author":"Voinea Laura","key":"e_1_3_2_1_13_1"}],"event":{"name":"SBLP'21: 25th Brazilian Symposium on Programming Languages","acronym":"SBLP'21","location":"Joinville Brazil"},"container-title":["25th Brazilian Symposium on Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3475061.3475082","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3475061.3475082","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:28:45Z","timestamp":1750195725000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3475061.3475082"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,27]]},"references-count":11,"alternative-id":["10.1145\/3475061.3475082","10.1145\/3475061"],"URL":"https:\/\/doi.org\/10.1145\/3475061.3475082","relation":{},"subject":[],"published":{"date-parts":[[2021,9,27]]}}}