A Formal, Resource Consumption-Preserving Translation of Actors to Haskell

Elvira Albert, Nikolaos Bezirgiannis, Frank de Boer +1

We present a formal translation of an actor-based language with cooperative scheduling to the functional language Haskell. The translation is proven correct with respect to a forma…