Merkliste 
 1 Ergebnisse 
 
1

Explicit Effects and Effect Constraints in ReML:

Elsman, Martin
Proceedings of the ACM on Programming Languages.  8 (2024)  POPL - p. 2370-2394 , 2024