A Formal, Resource Consumption-Preserving Translation of Actors to Haskell | Publicación