Diogo J. Cardoso, Luciana Foss, André Rauber Du Bois. Exploring Opacity Software Transactional Memory in Haskell through Graph Transformation. In Marcelo de Almeida Maia, Fábio Dorça, Rafael Dias Araujo, Cristiano Damiani Vasconcellos, editors, SBLP 2022: XXVI Brazilian Symposium on Programming Languages, Virtual Event Brazil, October 6 - 7, 2022. pages 15-23, ACM, 2022. [doi]
Abstract is missing.