TY - RPRT TI - A Formal, Resource Consumption-Preserving Translation of Actors to Haskell AU - Elvira Albert AU - Nikolaos Bezirgiannis AU - Frank de Boer AU - Enrique Martin-Martin PY - 2016 UR - https://arxiv.org/abs/1608.02896 ID - 1608.02896 ER -