A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell* | Publicación