José Duarte, António Ravara. Retrofitting Typestates into Rust. In Cristiano D. Vasconcellos, Karina Girardi Roggia, Paulo Bousfield, Vanessa Collereii, João Paulo Fernandes, Mário Pereira, editors, SBLP'21: 25th Brazilian Symposium on Programming Languages, Joinville, Brazil, 27 September 2021 - 1 October 2021. pages 83-91, ACM, 2021. [doi]
Abstract is missing.