Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen. Sharing Equality is Linear. In Ekaterina Komendantskaya, editor, Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. ACM, 2019. [doi]
Abstract is missing.