Ohad Rau, Caleb Voss 0001, Vivek Sarkar. Linear Promises: Towards Safer Concurrent Programming. In Anders Møller, Manu Sridharan, editors, 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference). Volume 194 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.