Linear Promises: Towards Safer Concurrent Programming. - Ohad Rau; Caleb Voss 001; Vivek Sarkar (ECOOP, 2021)

Linear Promises: Towards Safer Concurrent Programming (Artifact). - Ohad Rau; Caleb Voss 001; Vivek Sarkar (Dagstuhl Artifacts Ser., 2021)