Merkliste 
 1 Ergebnisse 
 
1

Coeffects for sharing and mutation:

Bianchini, Riccardo ; Dagnino, Francesco ; Giannini, Paola..
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA2 - p. 870-898 , 2022